2 commits

Author	SHA1	Message	Date
kristerw	a0e65e6496	Update lang/maude to version 2.0.1. ... Maude 2 extends and generalizes Maude 1 to allow more expressive modules and a wider range of computational commands. The license has been changed to the GNU General Public License.	2003-12-31 01:20:35 +00:00
zuntum	a437fd43cc	Move pkg/ files into package's toplevel directory	2001-11-01 00:20:13 +00:00

Renamed from lang/maude/pkg/MESSAGE (Browse further)