diff options
| author | David Aspinall | 2010-10-10 23:15:26 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-10-10 23:15:26 +0000 |
| commit | bb6ee1c6c5042ea5a76ffbf9ac767a85590f20c8 (patch) | |
| tree | 14ae98df0ee81fd5d741c230d451c4167aa74512 /generic/proof-utils.el | |
| parent | 08c725d9bfe6ffab9b1718c7f93c02c258cdd17a (diff) | |
Update authors list (should have been in PG 4.0)
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions