Difference between revisions of "All Maude 3 versions"
From The Maude System
(Created page with "==Maude 3.0== * Maude 3.0 for Linux64 * Maude 3.0 for Mac OS X * Media:Maude-3.0+cvc4-linux.zip|Maude 3.0 (with CVC...") |
(→Maude 3.0) |
||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
==Maude 3.0== | ==Maude 3.0== | ||
| − | * [[Media:Maude-3.0-linux.zip|Maude 3.0 for Linux64]] | + | * [[Media:Maude-3.0+yices2-linux.zip|Maude 3.0 (with Yices 2) for Linux64]] |
| − | * [[Media:Maude-3.0-osx.zip|Maude 3.0 for Mac OS X]] | + | * [[Media:Maude-3.0+yices2-osx.zip|Maude 3.0 (with Yices 2) for Mac OS X]] |
| − | * [[Media:Maude-3.0+cvc4-linux.zip|Maude 3.0 (with | + | * [[Media:Maude-3.0+cvc4-linux.zip|Maude 3.0 (with CVC 4) for Linux64]] |
| − | * [[Media:Maude-3.0+cvc4-osx.zip|Maude 3.0 (with | + | * [[Media:Maude-3.0+cvc4-osx.zip|Maude 3.0 (with CVC 4) for Mac OS X]] |
* [[Media:Maude-3.0.tar.gz|Maude 3.0 source files]] | * [[Media:Maude-3.0.tar.gz|Maude 3.0 source files]] | ||
* [[Media:Full-Maude-3.0.zip|Full Maude 3.0]] | * [[Media:Full-Maude-3.0.zip|Full Maude 3.0]] | ||
| − | * [[Media:Maude-3.0-manual.pdf| | + | * Maude 3.0 manual ([[Media:Maude-3.0-manual.pdf|pdf]]/[http://maude.lcc.uma.es/maude30-manual-html/maude-manual.html html]) and [[Media:Maude-3.0-manual-book-examples.zip|examples from the Maude 3.0 manual and book]] |
