diff options
| author | David Aspinall | 1998-10-21 10:14:44 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-21 10:14:44 +0000 |
| commit | e0e7e40ab33ba12033834a83839d1333f7b229a8 (patch) | |
| tree | b7cb4b8610a172d6d56bfe62fc603efb1b17cc50 /etc/ProofGeneral.patch | |
| parent | 5c80e1c3da263e208f16d2e589330b458ac61483 (diff) | |
Changed fset to setq, removed retract-command mention (for now?).
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions