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