Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2001-04-19 | Move to sha1 digests, and add distfile sizes. | agc | 1 | -1/+2 |
2001-04-17 | + move the distfile digest/checksum value from files/md5 to distinfo | agc | 1 | -1/+1 |
2001-03-20 | Oops, uncomment LICENSE. | wiz | 1 | -2/+2 |
2001-03-20 | Initial import of maude, a system for equational and rewriting logic | wiz | 5 | -0/+81 |