summaryrefslogtreecommitdiffstats
path: root/academic/coq
AgeCommit message (Expand)Author
2012-08-15Entire Repo: Remove APPROVED field from .info files Robby Workman
2011-08-05academic/coq: Added (The Coq Proof Assistant) William Bowman