Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Actually adding backtrace handling. | 2013-01-28 | |
* | Added backtrace information to anomalies | 2013-01-28 | |
* | New implementation of the conversion test, using normalization by evaluation to | 2013-01-22 | |
* | Modulification of dir_path | 2012-12-14 | |
* | Modulification of identifier | 2012-12-14 | |
* | Moved Stringset and Stringmap to String namespace. | 2012-12-14 | |
* | Low-level hack to get some more informative message from dynamic loading errors. | 2012-12-04 | |
* | Monomorphization (toplevel) | 2012-11-26 | |
* | When loading a plugin, prefer .cma to .cmo | 2012-10-14 | |
* | Turn mltop.ml4 into a regular ocaml file | 2012-10-06 | |
* | compilation native | 1999-12-03 | |
* | module Metasyntax | 1999-12-01 | |
* | portage Vernacentries (debut) | 1999-12-01 | |
* | Vernacinterp et Vernacentries (partiellement) | 1999-11-24 | |
* | retablissement du toplevel | 1999-09-28 |