diff options
| author | David Aspinall | 1998-10-12 16:37:54 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 16:37:54 +0000 |
| commit | 78bfc48fc58ef311c187be6b89e2fb9c006cf2c4 (patch) | |
| tree | 99714ec701906b18d14ca88888cae1811b3f775e /etc/ProofGeneral.patch | |
| parent | ecb7fa25b913a4a17378344275f727b4ec90c3a6 (diff) | |
Removed A* items done. Raised importance of FSF Emacs bug fix to A.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions