| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-08-23 | Update AUTHORS file for EasyCrypt | Erik Martin-Dorel | |
| 2018-08-23 | Update AUTHORS, fixing 2 typos | Erik Martin-Dorel | |
| 2018-03-03 | Update the AUTHORS file. | Erik Martin-Dorel | |
| 2016-07-23 | Add myself to the list of maintainers. | Erik Martin-Dorel | |
| 2016-06-23 | Add myself to list of authors | Clément Pit--Claudel | |
| 2010-12-10 | Add note about short list | David Aspinall | |
| 2010-10-10 | Update authors list (should have been in PG 4.0) | David Aspinall | |
| 2009-03-31 | fixed spelling; | Makarius Wenzel | |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall | |
| 2008-07-22 | Add Graham Dutton | David Aspinall | |
| 2008-01-15 | Updated. | David Aspinall | |
| 2007-12-12 | Updated. | David Aspinall | |
| 2005-11-08 | Typo | David Aspinall | |
| 2003-02-18 | Updated. | David Aspinall | |
| 2001-08-31 | Add DvO to list | David Aspinall | |
| 2001-08-31 | Add Christophe to list | David Aspinall | |
| 1999-11-17 | Updated | David Aspinall | |
| 1999-11-08 | Updated | David Aspinall | |
| 1999-08-24 | Updated | David Aspinall | |
| 1999-06-24 | Updates for new web pages, todo list. | David Aspinall | |
| 1999-06-15 | List of authors/maintainers. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |