proof-general/AUTHORS, branch master

proof-general/AUTHORS, branch master Emacs plugins for proof management systems Update AUTHORS file for EasyCrypt 2018-08-22T23:59:12+00:00 Erik Martin-Dorel 2018-08-22T23:58:15+00:00 5abaf69a3985dca803b4d236d8b4f6916da99872

Update AUTHORS, fixing 2 typos 2018-08-22T23:23:32+00:00 Erik Martin-Dorel 2018-08-22T21:52:26+00:00 863e6a14569140155bdb70b86fb6f5a066c2e2f7

Update the AUTHORS file. 2018-03-03T13:17:54+00:00 Erik Martin-Dorel 2017-08-12T20:01:14+00:00 4e7d130afc5788bb3140341dc08ab855aedb4a5d

Add myself to the list of maintainers. 2016-07-23T13:46:10+00:00 Erik Martin-Dorel 2016-07-23T13:46:10+00:00 417c65d194ea3ffbb2a85d2475b8f5dcb63dd0db

Add myself to list of authors 2016-06-23T22:34:49+00:00 Clément Pit--Claudel 2016-06-23T22:34:22+00:00 3fb4147ad760df79d54ffa046ac94e6a5581daeb

Add note about short list 2010-12-10T15:08:52+00:00 David Aspinall 2010-12-10T15:08:52+00:00 30275f135197cf299438891cac1fbd34c74b4267

Update authors list (should have been in PG 4.0) 2010-10-10T23:15:26+00:00 David Aspinall 2010-10-10T23:15:26+00:00 bb6ee1c6c5042ea5a76ffbf9ac767a85590f20c8

fixed spelling; 2009-03-31T11:53:20+00:00 Makarius Wenzel 2009-03-31T11:53:20+00:00 74b6dd9011f4a8c1b81d14800d9a3069a9263d20

Merge changes from Version4Branch. 2008-07-24T09:51:53+00:00 David Aspinall 2008-07-24T09:51:53+00:00 76d6b0b2b1f039549d308a0d2c478a6b05869af9

Add Graham Dutton 2008-07-22T11:06:37+00:00 David Aspinall 2008-07-22T11:06:37+00:00 ff09fdb9613a045866a6804734a204dcc8e3fa40