aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/summary.ml
Commit message (Expand)AuthorAge
* Better error messages when unfreezing summary entriesGravatar Enrico Tassi2014-10-30
* Better implementation of summary unfreezing.Gravatar Pierre-Marie Pédrot2013-11-24
* Using hashes in Summary, like the previous commit did with Dyn.Gravatar Pierre-Marie Pédrot2013-11-22
* Summary: if an unfreeze function fails, print an error messageGravatar gareuselesinge2013-10-18
* Removing a bunch of generic equalities.Gravatar ppedrot2013-09-27
* summary for ML modules made correctGravatar gareuselesinge2013-08-30
* enhance marshallable option for freeze (minor TODO in safe_typing)Gravatar gareuselesinge2013-08-08
* States: frozen states can hold closuresGravatar gareuselesinge2013-05-06
* Summary: support selective freezeGravatar gareuselesinge2013-05-06
* code simplifications concerning SummaryGravatar letouzey2013-04-22
* Uniformization of the "anomaly" command.Gravatar ppedrot2013-01-28
* Moved Stringset and Stringmap to String namespace.Gravatar ppedrot2012-12-14
* Updating headers.Gravatar herbelin2012-08-08
* Noise for nothingGravatar pboutill2012-03-02
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Death of "survive_module" and "survive_section" (the first one wasGravatar herbelin2009-08-13
* Nouvelle en-têteGravatar herbelin2004-07-16
* Correction du bug 335 et Export/Require Export dans un moduleGravatar coq2003-10-07
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* compat ocaml 3.03Gravatar filliatr2001-12-13
* entetesGravatar filliatr2001-03-15
* certains effets disparaissent a la sortie des sections, d'autres non (selon S...Gravatar filliatr2000-11-24
* modules System, Lib et StatesGravatar filliatr1999-09-10
* modules Libobject et Summary (partiel)Gravatar filliatr1999-09-03