diff options
| author | David Aspinall | 1999-09-29 16:18:29 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-29 16:18:29 +0000 |
| commit | 06ff2979b376dcff3c3f7d796ee6fa15d6187296 (patch) | |
| tree | 4b4c77031fa113d46fc6629c4e09a18dc03a1c3b /html | |
| parent | 8eccb1871f63583d3235b8e619629adfad40e2f9 (diff) | |
Fixes so that proof-strict-read-only can be toggled within a session (via restart).
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions