diff options
| author | David Aspinall | 1998-09-23 11:02:56 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-23 11:02:56 +0000 |
| commit | 06a69df0a01bc949bc7277bcb29a8ce29226d500 (patch) | |
| tree | a6f2b7c25b7aed21f7d937cf5b3de609eed0a892 /etc/ProofGeneral.patch | |
| parent | 4d6e5b0247f07654c20f751215e53e98e0638210 (diff) | |
Made configuration more sophisticated:
. proof-general-supported-assistants is master table of names & autoloads.
. proof-home is calculated automatically from load-file-name
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions