coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-10-12	Merge PR #12874: Add a "Show Proof Diffs" message to the XML protocol	coqbot-app[bot]
	Reviewed-by: herbelin Ack-by: gares Ack-by: ejgallego
2020-10-09	Add an XML message for "Show Proof Diffs"	Jim Fehrle
	Add menu item that uses this
2020-10-08	Dropping the misleading int argument of Pp.h.	Hugo Herbelin
	An h-box inhibits the breaking semantics of any cut/spc/brk in the enclosed box. We tentatively replace its occurrence by an h or hv, assuming in particular that if the indentation is not 0, an hv box was intended.
2020-10-08	Add a check of empty list of arguments in xmlprotocol where relevant.	Hugo Herbelin

2020-06-02	Move CoqIDE to its own folder	Maxime Dénès
	The will make it possible to put a VsCoq toplevel in `ide/vscoq`.