Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly. | 2015-06-23 | |
* | Adding a pretty-printing style library. | 2014-11-15 | |
* | lib/RichPp: Rename into Richpp. | 2014-11-05 | |
* | printing/Pptacticsig: New signature for tactic pretty-printers. | 2014-11-04 | |
* | printing/RichPrinter: New API for rich pretty-printing. | 2014-11-04 | |
* | Ppvernacsig: New. | 2014-11-04 | |
* | Ppannotation: New. | 2014-11-04 | |
* | A few fixes to the build system (mostly for ocamlbuild) | 2013-12-16 | |
* | Splitted up Genarg in four different levels: | 2013-06-21 | |
* | Clean-up : no more Proof_type.proof_tree | 2012-10-06 | |
* | Moved Compat to parsing. This permits to break the dependency of the | 2012-10-04 | |
* | correct some ends of .mllib files (avoid a broken tolink.ml) | 2012-08-24 | |
* | place all pretty-printing files in new dir printing/ | 2012-05-29 |