coq - The formal proof system

Age	Commit message (Expand)	Author
2019-01-27	[ide] fail on unavailable commands before adding to the document	Enrico Tassi
2019-01-24	[STM] explicit handling of parsing states	Enrico Tassi
2018-12-14	[proof] Rework proof interface.	Emilio Jesus Gallego Arias
2018-12-12	Merge PR #9101: Fix 8922 again	Hugo Herbelin
2018-12-10	Treat unmatched goals as new for diffs (highlighted)	Jim Fehrle
2018-12-09	[doc] Enable Warning 50 [incorrect doc comment] and fix comments.	Emilio Jesus Gallego Arias
2018-11-24	[toplevel] Allow to specify default options.	Emilio Jesus Gallego Arias
2018-11-14	Get hyps and goal the same way Printer does; don't omit info	Jim Fehrle
2018-09-20	Current diff code only compares the first current goal of the old and new	Jim Fehrle
2018-08-16	1) Make the diff setting a persistent settting.	Jim Fehrle
2018-07-31	Code to handle "Back" command for diffs.	Jim Fehrle
2018-07-26	Do not set diff printing on by default in CoqIDE.	Pierre-Marie Pédrot
2018-07-23	Displays the differences between successive proof steps in coqtop and CoqIDE.	Jim Fehrle
2018-07-07	Introduce a Pcoq.Entry module for functions that ought to be exported.	Pierre-Marie Pédrot
2018-07-03	Remove unused arguments to Ide_slave.concl_next_tac.	Gaëtan Gilbert
2018-06-18	Remove reference name type.	Maxime Dénès
2018-05-25	Remove some occurrences of Evd.empty	Maxime Dénès
2018-05-21	[ide] Remove special option `-ideslave`	Emilio Jesus Gallego Arias
2018-05-21	[stm] Make toplevels standalone executables.	Emilio Jesus Gallego Arias