| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-07-03 | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib ↵ | Pierre Letouzey | |
| module) For the moment, there is an Error module in compilers-lib/ocamlbytecomp.cm(x)a | |||
| 2016-05-20 | Disable memoization rather than failing when files cannot be opened. | Guillaume Melquiond | |
| Anomaly: Uncaught exception Unix.Unix_error(Unix.EACCES, "open", "lia.cache"). Please report. | |||
| 2016-01-20 | Update copyright headers. | Maxime Dénès | |
| 2015-01-12 | Update headers. | Maxime Dénès | |
| 2014-10-22 | Bugfix 3604 : more robust Unix.lockf | Frédéric Besson | |
| 2014-03-03 | Fixing some generic equalities in Micromega. | Pierre-Marie Pédrot | |
| 2013-03-13 | Restrict (try...with...) to avoid catching critical exn (part 15) | letouzey | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16292 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2012-08-08 | Updating headers. | herbelin | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15715 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2012-08-06 | Try to make the use of Unix.lockf in micromega compatible with Win32 | letouzey | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15684 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2011-04-21 | bug fix: concurrent access of persistent_cache | fbesson | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14037 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13323 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2009-08-20 | new csdp cache + improved error message | fbesson | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12286 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2009-07-31 | addition of lia.cache - csdp.cache is now handled by micromega not csdpcert | fbesson | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12255 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2009-07-30 | micromega : Better parsing of formulae - smaller proof terms for Z - ↵ | fbesson | |
| redesign of proof cache git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12254 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |