aboutsummaryrefslogtreecommitdiff
path: root/toplevel/coqtop.mli
AgeCommit message (Expand)Author
2021-01-27[coqtop] handle -print-module-uid after initializationEnrico Tassi
2021-01-27[sysinit] move initialization code from coqtop to hereEnrico Tassi
2021-01-27[sysinit] new component for system initializationEnrico Tassi
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-07-08Usage: bypassing a useless detour via a reference.Hugo Herbelin
2019-07-08An even more uniform treatment of the -help option across executables.Hugo Herbelin
2019-07-08Some common points between coqc and other coq binaries.Hugo Herbelin
2019-07-08An attempt to reorganize further coqtop initialization into semantic units.Hugo Herbelin
2019-07-08Adding methods help and parse_extra to custom toplevels data.Hugo Herbelin
2019-07-08A classification of command line options.Hugo Herbelin
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-02-01[toplevel] Split interactive toplevel and compiler binaries.Emilio Jesus Gallego Arias
2018-11-24[toplevel] Allow to specify default options.Emilio Jesus Gallego Arias
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
2018-04-19[toplevel] let toploop_init change Coq optionsEnrico Tassi
2018-03-05Merge PR #6855: Update headers following #6543.Maxime Dénès
2018-02-28[toplevel] Update state when `Drop` exception is thrown [#6872]Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-15[toplevel] Make toplevel state into a record.Emilio Jesus Gallego Arias
2018-02-09[toplevel] Refactor command line argument handling.Emilio Jesus Gallego Arias
2017-10-28[toplevel] Export the last document seen after `Drop`.Emilio Jesus Gallego Arias
2017-10-11[stm] [toplevel] Move delicate state initialization to the STM (BZ#5556)Emilio Jesus Gallego Arias
2017-10-06[stm] Switch to a functional APIEmilio Jesus Gallego Arias
2017-10-06[stm] [flags] Move document mode flags to the STM.Emilio Jesus Gallego Arias
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-10-18Miscellaneous typos, spacing, US spelling in comments or variable names.Hugo Herbelin
2015-01-12Update headers.Maxime Dénès
2014-06-25cut toploop(s) out of coqtop: now they are loaded dynamicallyEnrico Tassi
2013-12-16A few fixes to the build system (mostly for ocamlbuild)Pierre Letouzey
2012-08-08Updating headers.herbelin
2011-11-14Bug 2637: patches to make slightly easier to write programs that use coq code...pboutill
2010-09-14CoqIDE argv parsing delegated to coqtopvgross
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-06-22New script dev/tools/change-header to automatically update Coq files headers.herbelin
2010-05-31Modifying startup sequencevgross
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-29Move from ocamlweb to ocamdoc to generate mli documentationpboutill
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2004-07-16Nouvelle en-têteherbelin
2003-03-03fichiers sur la ligne de commande passes a Coq IDEfilliatr
2003-02-04interface GTK2 experimentalemonate
2001-03-15entetesfilliatr
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
1999-12-13documentation interfacesfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:12:29 +0000