aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/namegen.ml
Commit message (Expand)AuthorAge
* Removing List.mem in Namegen. We may choose a better fitted datastructure tha...Gravatar ppedrot2013-10-23
* Get rid of the uses of deprecated OCaml elements (still remaining compatible ...Gravatar xclerc2013-09-19
* Nicer code concerning dirpaths and modpath around LibGravatar letouzey2013-08-22
* Splitting Term into five unrelated interfaces:Gravatar ppedrot2013-04-29
* Dir_path --> DirPathGravatar letouzey2013-02-19
* Modulification of nameGravatar ppedrot2012-12-18
* Modulification of LabelGravatar ppedrot2012-12-18
* Modulification of dir_pathGravatar ppedrot2012-12-14
* Modulification of identifierGravatar ppedrot2012-12-14
* Monomorphization (pretyping)Gravatar ppedrot2012-11-22
* More cleanup of Util: utf8 aspects moved to a new file unicode.mlGravatar letouzey2012-09-18
* This patch removes unused "open" (automatically generated fromGravatar regisgia2012-09-14
* The new ocaml compiler (4.00) has a lot of very cool warnings,Gravatar regisgia2012-09-14
* Updating headers.Gravatar herbelin2012-08-08
* global_reference migrated from Libnames to new Globnames, less deps in gramma...Gravatar letouzey2012-05-29
* Fixing alpha-conversion bug #2723 introduced in r12485-12486.Gravatar herbelin2012-03-20
* Noise for nothingGravatar pboutill2012-03-02
* Printing bugs with match patterns:Gravatar herbelin2012-01-27
* Added a table for using reserved names for binding names to typesGravatar herbelin2011-03-05
* Remove "init" label from Termops.it_mk* specialized functionsGravatar glondu2010-09-28
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Still continuing r12485-12486, r12549, r12556 (cleaning around name generation)Gravatar herbelin2009-12-03
* Continuing r12485-12486 (cleaning around name generation)Gravatar herbelin2009-12-01
* Commit 12485 continued.Gravatar herbelin2009-11-09