coq - The formal proof system

Age	Commit message (Expand)	Author
2018-12-10	Fix Invalid_argument in List.iter2	Jim Fehrle
2018-12-10	For diffs, return exactly the characters that make up STRING and FIELD tokens	Jim Fehrle
2018-12-10	Fix #9091: don't show deleted compacted hypotheses twice in diff	Jim Fehrle
2018-12-10	Treat unmatched goals as new for diffs (highlighted)	Jim Fehrle
2018-11-23	s/let _ =/let () =/ in some places (mostly goptions related)	Gaëtan Gilbert
2018-11-22	Merge PR #8967: Fix #8922 (uncaught pp_diff exception)	Hugo Herbelin
2018-11-21	[gramlib] [build] Switch make-based system to packed gramlib	Emilio Jesus Gallego Arias
2018-11-14	Get hyps and goal the same way Printer does; don't omit info	Jim Fehrle
2018-10-02	Revert #6651: Use r.(p) syntax to print primitive projections	Maxime Dénès
2018-09-20	Current diff code only compares the first current goal of the old and new	Jim Fehrle
2018-07-29	Fix issue 8132. Print the content of body as in Printer.pr_compacted_decl,	Jim Fehrle
2018-07-23	Make tokenize_string an optional parameter for diff methods in pp_diffs.	Jim Fehrle
2018-07-23	Displays the differences between successive proof steps in coqtop and CoqIDE.	Jim Fehrle