summaryrefslogtreecommitdiff
path: root/lang/maude/Makefile
AgeCommit message (Expand)AuthorFilesLines
2001-03-20Oops, uncomment LICENSE.wiz1-2/+2
2001-03-20Initial import of maude, a system for equational and rewriting logicwiz1-0/+36