diff options
| author | David Aspinall | 1998-09-17 14:40:04 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-17 14:40:04 +0000 |
| commit | 5d289dc316d040f01352a4dd9642171a4a4d74dd (patch) | |
| tree | 63843b001355d921ca1317384f7a5c653105a99f /etc/ProofGeneral.patch | |
| parent | 22d522a1b6272c9ef8fa94de992095d49d71ee28 (diff) | |
Fixed message about using several assistants
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions