diff options
| author | David Aspinall | 1998-12-11 11:48:14 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-11 11:48:14 +0000 |
| commit | 2add3f415474f31c6b82981573a0cd3969fe7aab (patch) | |
| tree | 0324b20120161b5a11d57511107dcf49c6610af5 /etc/ProofGeneral.patch | |
| parent | 490c58ba03943e3138d268f20865e05e7aade869 (diff) | |
Disabled span-making part of proof-shell-analyse structure for Emacs 20.3
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions