aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/cbytecodes.mli
Commit message (Expand)AuthorAge
* Nettoyage de code en vue de la release. Plus de Warning: Unused Gravatar aspiwack2007-12-18
* ajout de head0 et tail0 en natifGravatar bgregoir2007-06-20
* Processor integers + Print assumption (see coqdev mailing list for the Gravatar aspiwack2007-05-11
* - Ajout d'un cast vm dans la syntaxe : x <: t Gravatar bgregoir2006-07-22
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20