diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-11-15 11:40:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-11-15 11:40:38 +0000 |
| commit | 0d6be0aee27af7773714e2baa7ce344c11b41f53 (patch) | |
| tree | 8c8c9993f3685fa1b997a5bf2230680874841b6a /generic/proof-shell.el | |
| parent | bb24683e8c062a56a24704fb2cda90539d05356d (diff) | |
Suggest PG 4.1.1 will be released next
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions