diff options
| author | David Aspinall | 2000-05-30 12:35:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-30 12:35:49 +0000 |
| commit | 00dbc321670fb4a4fd50701027359f6426af5ac7 (patch) | |
| tree | 689d9700b97c9ede346cd0b6abeed3254e264d35 /html | |
| parent | 8a3d1abf4ac1b452f9545bc3473372bd56b8eb92 (diff) | |
isar-preprocessing inserts final terminator if none there.
Added (defpgdefault script-indent t) to turn on indentation.
Added proof-script-command-start-regexp setting.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions