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