asau 1008bb1546 Update Maude to version 2.6 ... This release incorporates mostly optimizations and bug fixes. Read bundled NEWS for more details.		2011-04-19 19:18:40 +00:00
..
patches
DESCR
distinfo	Update Maude to version 2.6	2011-04-19 19:18:40 +00:00
Makefile	Update Maude to version 2.6	2011-04-19 19:18:40 +00:00
MESSAGE
PLIST	Update Maude to version 2.6	2011-04-19 19:18:40 +00:00