coq - The formal proof system

Age	Commit message (Expand)	Author
2020-10-30	Adding support for printing goal names in CoqIDE.	Hugo Herbelin
2020-10-27	Rename misc nonterminals	Jim Fehrle
2020-10-12	Merge PR #12874: Add a "Show Proof Diffs" message to the XML protocol	coqbot-app[bot]
2020-10-09	Add an XML message for "Show Proof Diffs"	Jim Fehrle
2020-10-08	Dropping the misleading int argument of Pp.h.	Hugo Herbelin
2020-10-08	Add a check of empty list of arguments in xmlprotocol where relevant.	Hugo Herbelin
2020-09-27	Recognize only ":{{" as a sentence-gobbling quotation.	Guillaume Melquiond
2020-09-22	Setting default value for Display Parentheses off in CoqIDE.	Hugo Herbelin
2020-09-01	Unify the shelves	Maxime Dénès
2020-08-26	Move given_up goals to evar_map	Maxime Dénès
2020-08-06	Repair coqide option "Display parentheses"	Jean-Christophe Léchenet
2020-06-29	Merge PR #12570: CoqIDE: fix lexing of UTF-8 in quotations like constr:()	Pierre-Marie Pédrot
2020-06-26	[declare] Reify Proof.t API into the Proof module.	Emilio Jesus Gallego Arias
2020-06-23	CoqIDE: fix lexing of UTF-8 in quotations like constr:()	James Lottes
2020-06-22	CoqIDE: accept to open files with invalid names	Vincent Laporte
2020-06-02	Move CoqIDE to its own folder	Maxime Dénès