aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/dyn.mli
Commit message (Expand)AuthorAge
* Dyn: simplify API introducing an Easy submoduleGravatar Enrico Tassi2016-05-13
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Adding a structure indexed by tags.Gravatar Pierre-Marie Pédrot2016-01-17
* | Leveraging GADTs to provide a better Dyn API.Gravatar Pierre-Marie Pédrot2015-12-05
* | Specializing the Dyn module to each usecase.Gravatar Pierre-Marie Pédrot2015-12-04
|/
* Adding a primitive to dump the current association table of dynamic types.Gravatar Pierre-Marie Pédrot2015-03-16
* Update headers.Gravatar Maxime Dénès2015-01-12
* Dyn: add API to check of two Dyn.t are ==Gravatar Enrico Tassi2014-12-17
* Using hashes instead of strings in dynamic tags. In case of collision, anGravatar Pierre-Marie Pédrot2013-11-22
* Updating headers.Gravatar herbelin2012-08-08
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* New script dev/tools/change-header to automatically update Coq files headers.Gravatar herbelin2010-06-22
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Nouvelle en-têteGravatar herbelin2004-07-16
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* ajout dyn; divers fonctions utilGravatar filliatr1999-08-17