aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/cemitcodes.mli
Commit message (Expand)AuthorAge
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-29
|\
| * Adds support for the virtual machine to perform reduction of universe polymor...Gravatar Gregory Malecha2015-10-28
* | Exporting a purely functional interface to bytecode patching.Gravatar Pierre-Marie Pédrot2015-10-16
|/
* Fixing some English misspelling.Gravatar Hugo Herbelin2015-07-29
* Correct restriction of vm_compute when handling universe polymorphicGravatar Matthieu Sozeau2015-01-15
* fixed bug 2580. Quick fix: copy emitcodes before patching itGravatar barras2011-08-01
* Remove the "Boxed" syntaxes and the const_entry_boxed fieldGravatar letouzey2011-01-28
* Various minor improvements of comments in mli for ocamldocGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Names.substitution (and related functions) and Term.subst_mps moved toGravatar sacerdot2004-11-16
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20