diff options
| author | Makarius Wenzel | 1999-07-27 19:50:24 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-07-27 19:50:24 +0000 |
| commit | 223e22121247be91e6408ed7798eda8c16fcfcfe (patch) | |
| tree | 2fe7d9e286aa4844aec39220c16664a7d10e83ec /html/functions.php3 | |
| parent | c5505f907e40ed446e305f9bbb15099c824315b3 (diff) | |
isar-init-syntax-table now in isar-syntax.el;
variations on undo now in isar-syntax.el;
proof-shell-restart-cmd: touch_all_thys;
proper retract of theories;
proper multiple buffer support;
Diffstat (limited to 'html/functions.php3')
0 files changed, 0 insertions, 0 deletions