nixpkgs/pkgs/development/interpreters/maude
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