aboutsummaryrefslogtreecommitdiffhomepage
path: root/printing/ppvernac.mli
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Notations: A step in cleaning constr_entry_key.Gravatar Hugo Herbelin2018-02-20
* Adding support for parsing subterms of a notation as "pattern".Gravatar Hugo Herbelin2018-02-20
* Separate vernac controls and regular commands.Gravatar Maxime Dénès2017-12-20
* [vernac] Remove "Proof using" hacks from parser.Gravatar Emilio Jesus Gallego Arias2017-10-10
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [pp] Remove unused printing tagging infrastructure.Gravatar Emilio Jesus Gallego Arias2017-03-21
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Plug the dynamic tags in the Richpp mechanism.Gravatar Pierre-Marie Pédrot2014-11-10
* lib/RichPp: Rename into Richpp.Gravatar Yann Régis-Gianas2014-11-05
* Ppvernac: Publish new rich pretty-printer.Gravatar Regis-Gianas2014-11-04
* Ppvernacsig: New.Gravatar Regis-Gianas2014-11-04
* A few fixes to the build system (mostly for ocamlbuild)Gravatar Pierre Letouzey2013-12-16
* Updating headers.Gravatar herbelin2012-08-08
* Fixes a bug in Ppvernac which had braces and bullets printed with an endingGravatar aspiwack2012-07-04
* remove many excessive open Util & Errors in mli'sGravatar letouzey2012-05-29
* place all pretty-printing files in new dir printing/Gravatar letouzey2012-05-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 03:05:27 +0000