diff options
| author | David Aspinall | 1999-10-06 10:49:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 10:49:46 +0000 |
| commit | 20a2c8a8ad535bda82c94af4f47bba629e322b6b (patch) | |
| tree | 3e545211337d838e5e6947435b0178751a2afbaa /html/register.phtml | |
| parent | 73a83abb1e77ee70e94ec64c40e27c850cd01810 (diff) | |
docstring and error message improvements.
proof-deactivate-scripting: new implementation which allows user
choice of retraction or assertion. Forms a subroutine of
proof-activate-scripting.
proof-activate-scripting:
call proof-activate-scripting-hook *after* files are saved.
proof-mark-buffer-atomic: set proof-locked end to proof-script-end,
not (point-max).
New functions: proof-toggle-scripting, proof-auto-deactivate-scripting,
proof-script-end
Diffstat (limited to 'html/register.phtml')
0 files changed, 0 insertions, 0 deletions