diff options
| author | David Aspinall | 1998-09-14 12:47:54 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-14 12:47:54 +0000 |
| commit | 2c3a52c06a540b3609d116ac45c0650d6a764ed9 (patch) | |
| tree | 7fd334514c85de1737dc66796038b670e5aa3796 /etc/ProofGeneral.patch | |
| parent | 070b139a3dfb519a49279b50e4ab357d55b0543d (diff) | |
Added docs and proof-restart-script-same-process (may need work)
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions