diff options
| author | David Aspinall | 1998-10-22 16:02:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-22 16:02:57 +0000 |
| commit | 4bb9d672174cb3def9b418ec6ead2667489e8ed0 (patch) | |
| tree | b06217e1dcba4cac118eac0af64c6772c5d20096 /generic/proof-script.el | |
| parent | 2d6b4150e681dfb09a75eab05c052a0fa04c621c (diff) | |
Moved user options into proof-config
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions