| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-06-17 | Update ml-style headers to new year. | Théo Zimmermann | |
| 2018-09-12 | Remove quote plugin | Maxime Dénès | |
| As far as I know, this plugin is untested and barely maintained. I don't think it has real use cases any more, so let's move it out from the repo and see if somebody wants to take over and maintain it. We also remove the documentation, which was telling our users to look at ring to see an example of reification done using quote, when in fact it wasn't using it anymore. | |||
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann | |
| 2017-07-04 | Bump year in headers. | Pierre-Marie Pédrot | |
| 2016-01-20 | Update copyright headers. | Maxime Dénès | |
| 2015-01-12 | Update headers. | Maxime Dénès | |
| 2012-08-08 | Updating headers. | herbelin | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15715 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-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ↵ | letouzey | |
| user contribs git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |