Author | SHA1 Message | Date |
---|---|---|
Niels Horn | b280c97d09 *: newest dep-fixes | 12 years ago |
Erik Hanson | 4248415dde Add REQUIRED field to .info files. | 12 years ago |
Robby Workman | 143991a46e Entire Repo: Remove APPROVED field from .info files | 12 years ago |
William Bowman | bef4f3c03f academic/coq: Added (The Coq Proof Assistant) | 13 years ago |