coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-11	noglob/dumpglob should be in coqc specific usage	Gaëtan Gilbert
2021-02-26	[coqc] Don't allow to pass more than one file to coqc	Emilio Jesus Gallego Arias
2021-01-27	[coqc] move -output-context from sysinit/coqargs to coqc proper	Enrico Tassi
2021-01-27	[sysinit] move initialization code from coqtop to here	Enrico Tassi
2021-01-27	[sysinit] new component for system initialization	Enrico Tassi
2020-07-01	[state] Consolidate state handling in Vernacstate	Emilio Jesus Gallego Arias
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-12-12	Fix #11195 and add other improvements: try loading .vio (and not just .vo) if...	charguer
2019-11-01	Implementing support for vos/vok files.	charguer
2019-10-31	[prettyp] remove `mod_ops` and `indirect_accessor` parameters	Gaëtan Gilbert
2019-09-18	[library] Move `Declaremods` to `vernac/`	Emilio Jesus Gallego Arias
2019-08-30	[library] Move library to vernac	Emilio Jesus Gallego Arias
2019-08-26	[glob/aux files] Remove undocumented Stdout dump, cleanup flags.	Emilio Jesus Gallego Arias
2019-07-08	Usage: bypassing a useless detour via a reference.	Hugo Herbelin
2019-07-08	An even more uniform treatment of the -help option across executables.	Hugo Herbelin
2019-07-08	Some common points between coqc and other coq binaries.	Hugo Herbelin
2019-07-08	An attempt to reorganize further coqtop initialization into semantic units.	Hugo Herbelin
2019-07-08	Adding methods help and parse_extra to custom toplevels data.	Hugo Herbelin
2019-07-08	A classification of command line options.	Hugo Herbelin
2019-06-18	[errors] remove "is_handled" logic, turn unhandled into anomalies	Emilio Jesus Gallego Arias
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-03-27	[vernac] Adapt to removal of imperative proof state.	Emilio Jesus Gallego Arias
2019-02-01	[toplevel] Split interactive toplevel and compiler binaries.	Emilio Jesus Gallego Arias