coq - The formal proof system

Age	Commit message (Expand)	Author
2020-06-30	[states] Move States to vernac	Emilio Jesus Gallego Arias
2019-10-31	Move prettyp (Print implementation) to vernac/	Gaëtan Gilbert
2018-07-23	Displays the differences between successive proof steps in coqtop and CoqIDE.	Jim Fehrle
2018-05-27	[api] [parsing] Move Egram* to `vernac/`	Emilio Jesus Gallego Arias
2017-03-21	[pp] Remove unused printing tagging infrastructure.	Emilio Jesus Gallego Arias
2016-09-15	Moving Ltac printers to ltac/ folder.	Pierre-Marie Pédrot
2016-06-07	printing.mllib: remove some other .mli-only from a .mllib	Pierre Letouzey
2016-06-02	Move ide serialization libraries from lib/ to ide/	Emilio Jesus Gallego Arias
2015-06-23	Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.	Thomas Sibut-Pinote
2014-11-15	Adding a pretty-printing style library.	Pierre-Marie Pédrot
2014-11-05	lib/RichPp: Rename into Richpp.	Yann Régis-Gianas
2014-11-04	printing/Pptacticsig: New signature for tactic pretty-printers.	Regis-Gianas
2014-11-04	printing/RichPrinter: New API for rich pretty-printing.	Regis-Gianas
2014-11-04	Ppvernacsig: New.	Regis-Gianas
2014-11-04	Ppannotation: New.	Regis-Gianas
2013-12-16	A few fixes to the build system (mostly for ocamlbuild)	Pierre Letouzey
2013-06-21	Splitted up Genarg in four different levels:	ppedrot
2012-10-06	Clean-up : no more Proof_type.proof_tree	letouzey
2012-10-04	Moved Compat to parsing. This permits to break the dependency of the	ppedrot
2012-08-24	correct some ends of .mllib files (avoid a broken tolink.ml)	letouzey
2012-05-29	place all pretty-printing files in new dir printing/	letouzey