aboutsummaryrefslogtreecommitdiff
path: root/tools/coqc.ml
AgeCommit message (Expand)Author
2016-11-21Stop parsing -compat-notations options, which are no longer supported (bug #3...Guillaume Melquiond
2016-09-30coqc: recognize -profile-ltac-cutoffEnrico Tassi
2016-06-14Merge remote-tracking branch 'origin/pr/166' into trunkEnrico Tassi
2016-06-05-profileltac -> -profile-ltac, as per @herbelinJason Gross
2016-06-05LtacProf for Coq trunkJason Gross
2016-05-19coqc: support -o option to specify output file nameEnrico Tassi
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-06Remove deprecated command-line options such as "-as".Guillaume Melquiond
2015-09-25Updating the documentation and the toolchain w.r.t. the change in -compile.Pierre-Marie Pédrot
2015-05-18Adding the -color option to coqc.Pierre Courtieu
2015-05-14Adding an option -w to control Coq warning output.Pierre-Marie Pédrot
2015-05-14Disable precompilation for native_compute by default.Guillaume Melquiond
2015-02-14coqc accepts -top option. Fixes bug #4043.Pierre-Marie Pédrot
2015-01-27Allow -type-in-type to be an option also for coqc.Daniel R. Grayson
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-02-06 20:50:04 +0000