summaryrefslogtreecommitdiff
path: root/lang/maude
AgeCommit message (Expand)AuthorFilesLines
2001-04-19Move to sha1 digests, and add distfile sizes.agc1-1/+2
2001-04-17+ move the distfile digest/checksum value from files/md5 to distinfoagc1-1/+1
2001-03-20Oops, uncomment LICENSE.wiz1-2/+2
2001-03-20Initial import of maude, a system for equational and rewriting logicwiz5-0/+81