coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-02	attribute #[using] for Definition and Fixpoint	Enrico Tassi
2020-08-28	Proof using cleanup, small doc addition and fix using Type in collections	Gaëtan Gilbert
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-12	Remove Goptions.opt_name field	Gaëtan Gilbert
2019-08-26	[glob/aux files] Remove undocumented Stdout dump, cleanup flags.	Emilio Jesus Gallego Arias
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-04-12	Unify Set and Unset handling for options	Gaëtan Gilbert
2018-11-23	s/let _ =/let () =/ in some places (mostly goptions related)	Gaëtan Gilbert
2018-07-13	Remove useless libobject in proof_using	Maxime Dénès
2018-07-07	Introduce a Pcoq.Entry module for functions that ought to be exported.	Pierre-Marie Pédrot
2018-02-27	Update headers following #6543.	Théo Zimmermann
2018-02-22	[ast] Improve precision of Ast location recognition in serialization.	Emilio Jesus Gallego Arias
2017-10-10	Parse [Proof using Type] without translating Type to an id.	Gaëtan Gilbert
2017-10-10	Use a nice printer for constant names in Suggest Proof Using.	Gaëtan Gilbert
2017-10-10	[vernac] Remove "Proof using" hacks from parser.	Emilio Jesus Gallego Arias