Files
nixpkgs/pkgs/development/interpreters
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
..
2008-02-07 10:43:05 +00:00
2008-01-28 19:38:59 +00:00
2008-11-14 22:53:09 +00:00
2008-02-22 15:18:22 +00:00
2007-10-30 16:04:45 +00:00
2008-07-17 09:57:47 +00:00
2008-06-13 09:44:43 +00:00
2005-12-05 14:11:09 +00:00
2008-02-27 15:48:53 +00:00