aboutsummaryrefslogtreecommitdiff
path: root/toplevel/usage.ml
AgeCommit message (Expand)Author
2018-03-08Merge PR #6582: Mangle auto-generated namesMaxime Dénès
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-17Implement name mangling optionJasper Hugunin
2017-10-11Remove GeoProof support.Maxime Dénès
2017-08-01[flags] Remove XML output flag.Emilio Jesus Gallego Arias
2017-07-25Adding -print-version in addition to -print-version for consistency.Hugo Herbelin
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-05-25Merge PR#645: [stm] Tweak debug options.Maxime Dénès
2017-05-23Document --print-version in UsageEnrico Tassi
2017-05-23Usage.print_config moved to EnvarsEnrico Tassi
2017-05-18[stm] Tweak debug options.Emilio Jesus Gallego Arias
2017-05-05coqtop -help: don't die if coqlib can't be foundGaetan Gilbert
2017-04-27Warning 29: non escaped end of line may be non portableGaetan Gilbert
2017-03-14[toplevel] Remove unusable option -notopEmilio Jesus Gallego Arias
2016-11-21Stop parsing -compat-notations options, which are no longer supported (bug #3...Guillaume Melquiond
2016-11-14Do not mention "none" in warnings doc, as it is there for compatibility.Maxime Dénès
2016-11-04Add documentation for [Set Warnings] and the -w option.Cyprien Mangin
2016-09-17Fix indentation of -profile-ltac in -helpJason Gross
2016-06-16--print-version produces machine readable version infoEnrico 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-19fix blanks in usage messageEnrico Tassi
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-15Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.Maxime Dénès
2015-09-25Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-25The -require option now accepts a logical path instead of a physical one.Pierre-Marie Pédrot
2015-09-25Updating the documentation and the toolchain w.r.t. the change in -compile.Pierre-Marie Pédrot
2015-08-05Merge branch 'v8.5'Pierre-Marie Pédrot
2015-08-02For convenience, making yes and on, and no and off synonymous inHugo Herbelin
2015-06-24Merge branch 'v8.5'Pierre-Marie Pédrot
2015-06-24improve --help documentation: the -m|--memory option was missingGabriel Scherer
2015-06-22All invocations to ocaml compilers go through ocamlfindPierre Boutillier
2015-05-18Fix usage about -color.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-03-31Removing references to deprecated syntax -I/-R -as.Pierre-Marie Pédrot
2015-03-25coqc: fix --helpEnrico Tassi
2015-03-18add -type-in-type to the usage messageDaniel R. Grayson
2015-02-12Fix typos about .vio files (thanks Arthur for spotting them)Enrico Tassi
2015-01-12Add -no-native-compiler flag to list dumped by --help.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2014-11-16For consistency with other coqtop flags, use -help rather than --help in usage.Hugo Herbelin
2014-11-15Adding a command line option to print out accepted color tags.Pierre-Marie Pédrot
2014-11-15Reworking the -color flag of coqtop.Pierre-Marie Pédrot
2014-09-09toploop plugins taken into account when printing --help (close: 3535)Enrico Tassi
2014-09-08Removing dead code relative to the XML plugin.Pierre-Marie Pédrot
2014-08-16Removing documentation related to the deprecated State machinery.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 00:06:25 +0000