Peter Simons 893757cfd9 Updated maude to 2.4 release. ... TODO: The full-maude distribution is missing from the web site. The expression installs 2.3j until that is fixed. Also, the documentation that's installed isn't up-to-date yet, it's from version 2.3. svn path=/nixpkgs/trunk/; revision=13285		2008-11-13 19:35:48 +00:00
..
default.nix	Updated maude to 2.4 release.	2008-11-13 19:35:48 +00:00