diff options
| author | David Aspinall | 2000-08-28 12:56:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-08-28 12:56:00 +0000 |
| commit | dc405d929acadd10297d1fdc9e63b08b2914a74c (patch) | |
| tree | c49f19a1c40d8d6cf361d8c2384766c2e977d3c0 /html/cvsweb.cgi | |
| parent | f6e17825a23b5d4601649cec94f90f9593a147c9 (diff) | |
Change name of mode: isar-proofscript-mode -> isar-mode and remove
alias. Regular mode name needed for fancy macros.
Use proof-definvisible fancy macro to define help menu functions.
Removed parentheses from menu entries so key bindings show up.
Diffstat (limited to 'html/cvsweb.cgi')
0 files changed, 0 insertions, 0 deletions