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