asau 00708ce7e3 Recursive revision bump for GMP update.		2010-03-24 19:43:21 +00:00
..
patches	Updated maude to 2.3.	2007-12-01 13:15:55 +00:00
DESCR
distinfo	Updated maude to 2.3.	2007-12-01 13:15:55 +00:00
Makefile	Recursive revision bump for GMP update.	2010-03-24 19:43:21 +00:00
MESSAGE
PLIST	Remove @dirrm entries from PLISTs	2009-06-14 18:03:28 +00:00