aboutsummaryrefslogtreecommitdiff
path: root/library/states.ml
AgeCommit message (Expand)Author
2011-04-03Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksletouzey
2010-09-18Fixing bugs #2347 (part 2) and #2388: error message printing was doneherbelin
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-06-22Protection against anomaly when loading a state with bad magic number.herbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-04-24Backporting 12080 (fixing bug #2091 on bad rollback in the "where"herbelin
2008-07-24moved magic numbers to configure (share coq/coqchk)barras
2008-06-29Lissage de la gestion des chemins de chargement de fichiers :herbelin
2006-08-31Un peu de delta-réduction...herbelin
2005-02-06Nettoyage et documentation de Libraryherbelin
2004-07-16Nouvelle en-têteherbelin
2001-11-06corrections mineures suite au commit de restructuration du noyaubarras
2001-03-15entetesfilliatr
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-09-10Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path. Abstract...herbelin
1999-12-10 - erreurs Pretypefilliatr
1999-12-02modifs pour premiere edition de liensfilliatr
1999-09-29with_heavy_rollback deplace dans Statesfilliatr
1999-09-10modules System, Lib et Statesfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-20 21:09:01 +0000