Peter Simons c2417256a8 Finalized maude 2.4 release. ... - Updated full-maude to 2.4. - Added program wrapper to set ${MAUDE_LIB} correctly. - TODO: the documentation is still not quite up-to-date. svn path=/nixpkgs/trunk/; revision=13303		2008-11-14 22:53:09 +00:00
..
default.nix	Finalized maude 2.4 release.	2008-11-14 22:53:09 +00:00