aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/richpp.ml
Commit message (Expand)AuthorAge
* Encapsulate xml serialization in xmlprotocol.mliGravatar Emilio Jesus Gallego Arias2016-06-02
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Adding rich printing primitives.Gravatar Pierre-Marie Pédrot2015-09-20
| * Revert the four previous commits and update the description of Richpp.Gravatar Pierre-Marie Pédrot2015-08-15
| * More invariants in Richpp.Gravatar Pierre-Marie Pédrot2015-08-15
| * More parametric type for generalized XML.Gravatar Pierre-Marie Pédrot2015-08-15
| * Statically ensure that we omit null annotations in Richpp.Gravatar Pierre-Marie Pédrot2015-08-15
| * Fixing richpp behaviour w.r.t. its specification.Gravatar Pierre-Marie Pédrot2015-08-15
|/
* More efficient Richpp.Gravatar Pierre-Marie Pédrot2015-02-06
* More efficient implementation of Richpp.Gravatar Pierre-Marie Pédrot2015-02-04
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 02:41:34 +0000