diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-19 16:31:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-19 16:31:15 +0000 |
| commit | 2ea99615a3882ef126a72068adbff603d47efe87 (patch) | |
| tree | 5546e0584fef21891a52dd0a9a4f502c8b5b3575 /generic/proof-config.el | |
| parent | b6e85bd92170d3fb35ecfe0157345a06e59e25f5 (diff) | |
Added by defvars x-symbol-isa-name, x-symbol-isa-modeline-name so can use this file without PG
Diffstat (limited to 'generic/proof-config.el')
0 files changed, 0 insertions, 0 deletions