aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/mltop.ml
Commit message (Expand)AuthorAge
* Mltop: explicitly qualify calls to CUnixGravatar Pierre Letouzey2014-01-30
* Declared ML Module are not uncapitalized/capitalized/uncapitalized/...Gravatar Pierre Boutillier2014-01-13
* summary for ML modules made correctGravatar gareuselesinge2013-08-30
* Small typo in Print Debug GCGravatar ppedrot2013-08-02
* Added a Print Debug GC command that displays the current state ofGravatar ppedrot2013-08-01
* Uniformizing the [if_warn] flag used for warning printing and putGravatar ppedrot2013-05-08
* States: frozen states can hold closuresGravatar gareuselesinge2013-05-06
* Moved the Loadpath part of Library to its own file, and documentedGravatar ppedrot2013-03-26
* Restrict (try...with...) to avoid catching critical exn (part 13)Gravatar letouzey2013-03-13
* More monomorphization.Gravatar ppedrot2013-03-05
* Dir_path --> DirPathGravatar letouzey2013-02-19
* Updating the backtrace handling mechanism to accomodate the newGravatar ppedrot2013-02-18
* use List.rev_map whenever possibleGravatar letouzey2013-02-18
* Actually adding backtrace handling.Gravatar ppedrot2013-01-28
* Added backtrace information to anomaliesGravatar ppedrot2013-01-28
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22
* Modulification of dir_pathGravatar ppedrot2012-12-14
* Modulification of identifierGravatar ppedrot2012-12-14
* Moved Stringset and Stringmap to String namespace.Gravatar ppedrot2012-12-14
* Low-level hack to get some more informative message from dynamic loading errors.Gravatar herbelin2012-12-04
* Monomorphization (toplevel)Gravatar ppedrot2012-11-26
* When loading a plugin, prefer .cma to .cmoGravatar gareuselesinge2012-10-14
* Turn mltop.ml4 into a regular ocaml fileGravatar letouzey2012-10-06
* compilation nativeGravatar filliatr1999-12-03
* module MetasyntaxGravatar filliatr1999-12-01
* portage Vernacentries (debut)Gravatar filliatr1999-12-01
* Vernacinterp et Vernacentries (partiellement)Gravatar filliatr1999-11-24
* retablissement du toplevelGravatar filliatr1999-09-28