diff options
| author | David Aspinall | 1999-11-16 15:42:56 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-16 15:42:56 +0000 |
| commit | 91855cebb11be84f90b89df368dd31505830edb4 (patch) | |
| tree | 19308c77dea117fc374f2c778f0693c8850c30d5 /html/gallery.phtml | |
| parent | 3a44fd81f0e59c178ba3076a7e598a4d746908d1 (diff) | |
New settings for generic count-undos code:
proof-non-undoables-regexp,
proof-ignore-for-undo-count,
Added proof-shell-quit-timeout
Deprecate brand new setting proof-goals-display-qed-message.
Improved docstrings, changed some defaults to useful values.
Diffstat (limited to 'html/gallery.phtml')
0 files changed, 0 insertions, 0 deletions