aboutsummaryrefslogtreecommitdiffhomepage
path: root/printing/printing.mllib
Commit message (Expand)AuthorAge
* [pp] Remove unused printing tagging infrastructure.Gravatar Emilio Jesus Gallego Arias2017-03-21
* Moving Ltac printers to ltac/ folder.Gravatar Pierre-Marie Pédrot2016-09-15
* printing.mllib: remove some other .mli-only from a .mllibGravatar Pierre Letouzey2016-06-07
* Move ide serialization libraries from lib/ to ide/Gravatar Emilio Jesus Gallego Arias2016-06-02
* Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.Gravatar Thomas Sibut-Pinote2015-06-23
* Adding a pretty-printing style library.Gravatar Pierre-Marie Pédrot2014-11-15
* lib/RichPp: Rename into Richpp.Gravatar Yann Régis-Gianas2014-11-05
* printing/Pptacticsig: New signature for tactic pretty-printers.Gravatar Regis-Gianas2014-11-04
* printing/RichPrinter: New API for rich pretty-printing.Gravatar Regis-Gianas2014-11-04
* Ppvernacsig: New.Gravatar Regis-Gianas2014-11-04
* Ppannotation: New.Gravatar Regis-Gianas2014-11-04
* A few fixes to the build system (mostly for ocamlbuild)Gravatar Pierre Letouzey2013-12-16
* Splitted up Genarg in four different levels:Gravatar ppedrot2013-06-21
* Clean-up : no more Proof_type.proof_treeGravatar letouzey2012-10-06
* Moved Compat to parsing. This permits to break the dependency of theGravatar ppedrot2012-10-04
* correct some ends of .mllib files (avoid a broken tolink.ml)Gravatar letouzey2012-08-24
* place all pretty-printing files in new dir printing/Gravatar letouzey2012-05-29