diff options
| author | David Aspinall | 1998-10-29 15:36:07 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-29 15:36:07 +0000 |
| commit | 16028685708a1970794dc72afe3fce64b9d21942 (patch) | |
| tree | 5c4569ec59ff6dfee657454ef668a1c4a2c98596 /etc/ProofGeneral.patch | |
| parent | df1798ff9c879212b718b4f026b439a0beb7eeda (diff) | |
Fixed requires for FSF Emacs.
Patched (old bug?) in proof-response-buffer-display, how did it
come back?
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions