aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/correctness/penv.ml
Commit message (Expand)AuthorAge
* Nouvelle en-tĂȘteGravatar herbelin2004-07-16
* Correction du bug 335 et Export/Require Export dans un moduleGravatar coq2003-10-07
* portage Correctness (substitutivité pour les modules)Gravatar filliatr2002-09-19
* retablissement de Correctness (pas encore teste' cependant)Gravatar filliatr2002-09-18
* compat ocaml 3.03Gravatar filliatr2001-12-13
* nouvel algo de conversion plus uniformeGravatar barras2001-11-29
* GROS COMMIT:Gravatar barras2001-11-05
* message 'is defined' seulement en mode verboseGravatar filliatr2001-05-10
* deux fichiers (past et ptype) uniquement sous forme de .mliGravatar filliatr2001-04-04
* branchement extraction (bytecode seulement)Gravatar filliatr2001-03-30
* mise en place de Correctness (ne compile pas encore)Gravatar filliatr2001-03-29