| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-06-07 | Micromega clean-up | Maxime Dénès | |
| We add .mli files, removed dead code and use standard combinators instead of redefined ad-hoc ones in a few places. A lot of cleaning still has to be done on this code: documenting the interfaces, resolving the many abstraction leaks. I suspect there is still a lot of code duplication. | |||
| 2017-04-27 | Micromega: do not use Filename.temp_dir_path, remove unused values | Gaetan Gilbert | |
| 2017-04-27 | Rename Sos_lib.(||) -> parser_or to avoid (deprecated) Pervasives.or | Gaetan Gilbert | |
| 2014-12-09 | Switch the few remaining iso-latin-1 files to utf8 | Pierre Letouzey | |
| 2014-03-01 | Fixing pervasive comparisons | Pierre-Marie Pédrot | |
| 2013-10-14 | Getting rid of the use of deprecated elements (from the OCaml standard library). | xclerc | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16882 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2012-10-06 | still some more dead code removal | letouzey | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15875 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2012-06-28 | Cleaning opening of the standard List module. | ppedrot | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15500 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-25 | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 ↵ | fbesson | |
| 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |