aboutsummaryrefslogtreecommitdiff
path: root/man/coqtop.1
AgeCommit message (Expand)Author
2020-05-10Remove (outdated) timestamps from man pagesKartik Singhal
2020-04-02Minimal fix to man pages.Théo Zimmermann
2019-02-22[library] Remove `-boot` option.Emilio Jesus Gallego Arias
2019-01-30[toplevel] Deprecate the `-compile` flag in favor of `coqc`.Emilio Jesus Gallego Arias
2018-05-16Minor update of the documentation/man about the resource file.Hugo Herbelin
2017-10-11Remove GeoProof support.Maxime Dénès
2017-08-01[flags] Remove XML output flag.Emilio Jesus Gallego Arias
2016-01-15Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.Maxime Dénès
2015-09-28Make -load-vernac-object respect the loadpath.Guillaume Melquiond
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
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
2012-01-21Coqtop and coqc: cleaning description of options in RefMan and manpages.pboutill
2012-01-07Fix typoglondu
2006-10-11Ajout de pages de man pour les exécutables coqnotin
2001-04-25man pages for coq-interface and parsercourant
2001-04-25Ajout pages de man coq_makefile et coqmktopcourant
2001-04-25- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.bytecourant
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:40 +0000