diff options
| author | Makarius Wenzel | 1999-10-26 17:22:38 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-10-26 17:22:38 +0000 |
| commit | e08dcc1bdc8f028a152fb14fbcce91c5632068bb (patch) | |
| tree | 7c733fa243b9ca483061ed76a280b999238a3692 /html/features.phtml | |
| parent | 5b59f4e964b5fcfa45866a1f76b312544bb6937e (diff) | |
isa-keywords-save: removed "result";
isa-keywords-commands: added "ProofGeneral.repeat_undo";
added isa-keywords-proof-commands;
added isa-verbatim;
Diffstat (limited to 'html/features.phtml')
0 files changed, 0 insertions, 0 deletions