index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
toplevel
/
usage.ml
Commit message (
Expand
)
Author
Age
*
Remove GeoProof support.
Maxime Dénès
2017-10-11
*
[flags] Remove XML output flag.
Emilio Jesus Gallego Arias
2017-08-01
*
Adding -print-version in addition to -print-version for consistency.
Hugo Herbelin
2017-07-25
*
Bump year in headers.
Pierre-Marie Pédrot
2017-07-04
*
Merge PR#645: [stm] Tweak debug options.
Maxime Dénès
2017-05-25
|
\
*
|
Document --print-version in Usage
Enrico Tassi
2017-05-23
*
|
Usage.print_config moved to Envars
Enrico Tassi
2017-05-23
|
*
[stm] Tweak debug options.
Emilio Jesus Gallego Arias
2017-05-18
|
/
*
coqtop -help: don't die if coqlib can't be found
Gaetan Gilbert
2017-05-05
*
Warning 29: non escaped end of line may be non portable
Gaetan Gilbert
2017-04-27
*
[toplevel] Remove unusable option -notop
Emilio Jesus Gallego Arias
2017-03-14
*
Stop parsing -compat-notations options, which are no longer supported (bug #3...
Guillaume Melquiond
2016-11-21
*
Do not mention "none" in warnings doc, as it is there for compatibility.
Maxime Dénès
2016-11-14
*
Add documentation for [Set Warnings] and the -w option.
Cyprien Mangin
2016-11-04
*
Fix indentation of -profile-ltac in -help
Jason Gross
2016-09-17
*
--print-version produces machine readable version info
Enrico Tassi
2016-06-16
*
Merge remote-tracking branch 'origin/pr/166' into trunk
Enrico Tassi
2016-06-14
|
\
*
|
-profileltac -> -profile-ltac, as per @herbelin
Jason Gross
2016-06-05
*
|
LtacProf for Coq trunk
Jason Gross
2016-06-05
|
*
fix blanks in usage message
Enrico Tassi
2016-05-19
|
*
coqc: support -o option to specify output file name
Enrico Tassi
2016-05-19
|
/
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-21
|
\
|
*
Update copyright headers.
Maxime Dénès
2016-01-20
|
*
Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.
Maxime Dénès
2016-01-15
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-09-25
|
\
|
|
*
The -require option now accepts a logical path instead of a physical one.
Pierre-Marie Pédrot
2015-09-25
|
*
Updating the documentation and the toolchain w.r.t. the change in -compile.
Pierre-Marie Pédrot
2015-09-25
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-08-05
|
\
|
|
*
For convenience, making yes and on, and no and off synonymous in
Hugo Herbelin
2015-08-02
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-06-24
|
\
|
|
*
improve --help documentation: the -m|--memory option was missing
Gabriel Scherer
2015-06-24
*
|
All invocations to ocaml compilers go through ocamlfind
Pierre Boutillier
2015-06-22
|
/
*
Fix usage about -color.
Pierre Courtieu
2015-05-18
*
Adding an option -w to control Coq warning output.
Pierre-Marie Pédrot
2015-05-14
*
Disable precompilation for native_compute by default.
Guillaume Melquiond
2015-05-14
*
Removing references to deprecated syntax -I/-R -as.
Pierre-Marie Pédrot
2015-03-31
*
coqc: fix --help
Enrico Tassi
2015-03-25
*
add -type-in-type to the usage message
Daniel R. Grayson
2015-03-18
*
Fix typos about .vio files (thanks Arthur for spotting them)
Enrico Tassi
2015-02-12
*
Add -no-native-compiler flag to list dumped by --help.
Maxime Dénès
2015-01-12
*
Update headers.
Maxime Dénès
2015-01-12
*
For consistency with other coqtop flags, use -help rather than --help in usage.
Hugo Herbelin
2014-11-16
*
Adding a command line option to print out accepted color tags.
Pierre-Marie Pédrot
2014-11-15
*
Reworking the -color flag of coqtop.
Pierre-Marie Pédrot
2014-11-15
*
toploop plugins taken into account when printing --help (close: 3535)
Enrico Tassi
2014-09-09
*
Removing dead code relative to the XML plugin.
Pierre-Marie Pédrot
2014-09-08
*
Removing documentation related to the deprecated State machinery.
Pierre-Marie Pédrot
2014-08-16
*
Deprecate useless option -quality.
Guillaume Melquiond
2014-06-13
*
Remove documentation for the unsupported options -byte and -opt.
Guillaume Melquiond
2014-06-13
*
Deprecate options -dont, -lazy, -force-load-proofs.
Guillaume Melquiond
2014-06-13
[next]