aboutsummaryrefslogtreecommitdiff
path: root/math/coq/files/ide-coqide.diff
Commit message (Expand)AuthorAgeFilesLines
* - Update coq to 8.3.3Johan van Selst2012-03-251-47/+0
* - Update coq to 8.3Johan van Selst2010-11-091-0/+47
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-06 20:05:54 +0000