diff options
| author | David Aspinall | 2010-08-18 14:09:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-18 14:09:40 +0000 |
| commit | dbcb933c08b2c8e12c1ab117484145f0afa5acfa (patch) | |
| tree | 84271f49c197477450ae01d0d780e06981661bed /generic/proof-syntax.el | |
| parent | e5b5e2593501dd788bcb0c593a2432986bbdd833 (diff) | |
Improve message
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions