diff options
| author | David Aspinall | 2000-05-11 14:36:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-11 14:36:10 +0000 |
| commit | c68ca4aa6cf07f863ce133dcf69444f8e8196064 (patch) | |
| tree | c4f9a39fe5d93f660e4580f4125e1afee0979cc5 /html/feedback.phtml | |
| parent | b937e7485be9d69c5b32e9837f90708935791271 (diff) | |
Generic help menu for Isabelle and Isabelle/Isar added.
Generalized option settings mechanism.
Added simplifier tracing flag.
Diffstat (limited to 'html/feedback.phtml')
0 files changed, 0 insertions, 0 deletions