diff options
| author | David Aspinall | 1998-09-14 12:44:24 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-14 12:44:24 +0000 |
| commit | 070b139a3dfb519a49279b50e4ab357d55b0543d (patch) | |
| tree | 9e8ceaadaa74100a883e8e8567d17525e3dafb12 /etc/ProofGeneral.patch | |
| parent | 98cc8a94bc588b972deee943004820b499203018 (diff) | |
Changed proof-assistant into proof-assistants to support autoloads for more than one prover
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions