aboutsummaryrefslogtreecommitdiff
path: root/toplevel/usage.ml
AgeCommit message (Expand)Author
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
2014-06-13Deprecate useless option -quality.Guillaume Melquiond
2014-06-13Remove documentation for the unsupported options -byte and -opt.Guillaume Melquiond
2014-06-13Deprecate options -dont, -lazy, -force-load-proofs.Guillaume Melquiond
2014-05-06This commit adds full universe polymorphism and fast projections to Coq.Matthieu Sozeau
2014-04-08Add an option -Q (tentative name).Guillaume Melquiond
2014-04-06Change handling of loadpath and mlpath.Guillaume Melquiond
2013-12-22Adding a finer-grained -bt flag to coqtop only triggering backtraces.Pierre-Marie Pédrot
2013-11-27New option --help-XML-protocol to document the XML procol used by -ideslaveEnrico Tassi
2013-08-22Misc changes around coqtop.ml :letouzey
2012-12-08Ensure that a function declared with a label is used with itletouzey
2012-10-05coqtop -time : display per-command timingsletouzey
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-08Updating headers.herbelin
2012-07-08verbose compat notations : nicer option nameletouzey
2012-07-05Notation: a new annotation "compat 8.x" extending "only parsing"letouzey
2012-06-15Partialy revert "coq_makefile fixup" because old Makefiles still need CAMLP4BINpboutill
2012-06-14coq_makefile fixuppboutill
2012-06-12New step in purpose to get both camlp4 and camlp5 compatible coq_makefilespboutill
2012-04-12lib directory is cut in 2 cma.pboutill
2011-11-21-user option removalpboutill
2011-09-27In Coq_config: get rid of coqsrc and make coqlib optionalglondu
2011-04-28coqtop -config returns coq returns coq environments at exection timepboutill
2011-04-03Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksletouzey
2011-03-28Ide_slave: a more robust current_status () functionletouzey
2010-09-14CoqIDE argv parsing delegated to coqtopvgross
2010-09-13Fix unescaped end-of-lines (OCaml warning 29)glondu
2010-08-31* By default, load proof terms.regisgia
2010-08-27* scripts/Coqc toplevel/Usage:regisgia
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 08:46:25 +0000