coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-10	Convert logic.rst to prodn	Jim Fehrle
2020-04-06	Clean and fix definitions of options.	Théo Zimmermann
2020-03-19	firstorder: default tactic is “auto with core”	Vincent Laporte
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-12	Remove Goptions.opt_name field	Gaëtan Gilbert
2020-02-06	unsafe_type_of -> type_of in Sequent.extend_with_auto_hints	Gaëtan Gilbert
2019-11-26	Remove undocumented and deprecated `Congruence Depth` option	Maxime Dénès
2019-11-21	[coq] Untabify the whole ML codebase.	Emilio Jesus Gallego Arias
2019-08-29	Make sure that all query commands return a notice (not an info) feedback	Maxime Dénès
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2018-12-11	[api] Move reduction modules to `tactics`	Emilio Jesus Gallego Arias
2018-11-23	s/let _ =/let () =/ in some places (mostly goptions related)	Gaëtan Gilbert
2018-11-17	[ltac] Use CAst nodes in the tactic AST.	Emilio Jesus Gallego Arias
2018-11-07	[Firstorder plugin] Remove some dead code	Vincent Laporte
2018-11-02	coqpp VERNAC EXTEND uses #[ att = attribute; ] syntax	Gaëtan Gilbert
2018-11-02	Command driven attributes.	Gaëtan Gilbert
2018-11-02	Move attributes out of vernacinterp to new attributes module	Gaëtan Gilbert
2018-10-15	Port remaining EXTEND ml4 files to coqpp.	Pierre-Marie Pédrot