aboutsummaryrefslogtreecommitdiff
path: root/tools/coqc.ml
AgeCommit message (Expand)Author
2015-01-12Update headers.Maxime Dénès
2015-01-06rename: vi -> vioEnrico Tassi
2014-12-15Fixing bug #3865.Pierre-Marie Pédrot
2014-09-17Revert "coqc: execvp is now available even on win32"Enrico Tassi
2014-07-24fixup fakeide test-suitePierre Boutillier
2014-06-30coqc is -Q awarePierre Boutillier
2014-06-16Checking that a library name is valid before compilation.Pierre-Marie Pédrot
2014-06-13Remove documentation for the unsupported options -byte and -opt.Guillaume Melquiond
2014-05-06This commit adds full universe polymorphism and fast projections to Coq.Matthieu Sozeau
2014-02-26vi2vo: new flag -schedule-vi2voEnrico Tassi
2014-01-26-schedule-vi-checking ported to spawnEnrico Tassi
2014-01-05Paral-ITP: cleanup of command line flags and more conservative defaultEnrico Tassi
2014-01-05coqtop: -check-vi-tasks and -schedule-vi-checkingEnrico Tassi
2014-01-04.vi files: .vo files without proofsEnrico Tassi
2013-12-22Adding -bt to coqc.Pierre-Marie Pédrot
2013-12-20coqc: execvp is now available even on win32Pierre Letouzey
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 02:04:40 +0000