aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/states.ml
Commit message (Expand)AuthorAge
* moved magic numbers to configure (share coq/coqchk)Gravatar barras2008-07-24
* Lissage de la gestion des chemins de chargement de fichiers :Gravatar herbelin2008-06-29
* Un peu de delta-réduction...Gravatar herbelin2006-08-31
* Nettoyage et documentation de LibraryGravatar herbelin2005-02-06
* Nouvelle en-tĂȘteGravatar herbelin2004-07-16
* corrections mineures suite au commit de restructuration du noyauGravatar barras2001-11-06
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path. Abstract...Gravatar herbelin2000-09-10
* - erreurs PretypeGravatar filliatr1999-12-10
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* with_heavy_rollback deplace dans StatesGravatar filliatr1999-09-29
* modules System, Lib et StatesGravatar filliatr1999-09-10