aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/byterun
Commit message (Expand)AuthorAge
* ocamlbuild improvements + minor makefile fixGravatar letouzey2009-03-24
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* Rely on ocamlc to call the C compiler...Gravatar glondu2008-09-04
* Correction du problème de complexité de Print Assumptions :Gravatar aspiwack2008-05-27
* Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaientGravatar herbelin2008-04-01
* patch for C code of addmuldiv31Gravatar thery2008-02-27
* * Adding compability with ocaml 3.10 + camlp5 (rework of Gravatar letouzey2007-09-15
* ajout de head0 et tail0 en natifGravatar bgregoir2007-06-20
* corrections bug dans l'implem de int31Gravatar bgregoir2007-05-15
* Processor integers + Print assumption (see coqdev mailing list for the Gravatar aspiwack2007-05-11
* Changement dans le kernel : Gravatar bgregoir2006-12-11
* changement des _sym par _comm dans setoid_ringGravatar bgregoir2006-10-27
* Appel à caml_modify pour Ocaml 3.07Gravatar notin2006-09-01
* Modifications dans les scripts de configuration (coqtop et coqide affichent m...Gravatar notin2006-07-28
* - Ajout d'un cast vm dans la syntaxe : x <: t Gravatar bgregoir2006-07-22
* Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...Gravatar notin2006-04-28
* Changement des named_contextGravatar gregoire2005-12-02
* compatibility with POWERPCGravatar gregoire2004-11-22
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20