aboutsummaryrefslogtreecommitdiff
path: root/tools/coqc.ml
AgeCommit message (Expand)Author
2013-08-22Misc changes around coqtop.ml :letouzey
2013-04-18coqc and coqmktop migrated in tools/, get rid of scripts/ subdirletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 18:45:13 +0000