diff options
| author | David Aspinall | 1998-10-09 13:53:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-09 13:53:27 +0000 |
| commit | 51f4691082cb9d92c1fde6d91c0c47bdfbabd5ff (patch) | |
| tree | 7f13551c7be81514d4b648e7228faf9d50e18776 /etc/ProofGeneral.patch | |
| parent | 5e19c3e5bdc749e234a96268f30f2eb2a8878645 (diff) | |
Addded todo for proof-quit-command. Doc string note
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions