diff options
| author | David Aspinall | 2000-09-14 16:02:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-14 16:02:02 +0000 |
| commit | c552593df6e6ee765d9b6813842aa91c0735d98e (patch) | |
| tree | dd218a9b0d42b8de30a9280d59e50c423d510d90 /generic/proof-script.el | |
| parent | 23217014265fd6ca3a29ac49a6f98b6aa79440b4 (diff) | |
Added doc of completions, several other script settings. Sections in script chapter.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions