diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-08 14:07:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-08 14:07:43 +0000 |
| commit | 05361f4d8045fb32826deba4118dea46d56eccfb (patch) | |
| tree | 87da39925a43bf9bd14dd658a5e565284f2cdf7c /isa/isa.el | |
| parent | aaaea19b880b4a82459e2bd06601307dd38a30b7 (diff) | |
Typo.
Diffstat (limited to 'isa/isa.el')
| -rw-r--r-- | isa/isa.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -667,6 +667,6 @@ you will be asked to retract the file or process the remainder of it. (setq proof-xsym-activate-command "print_mode := !print_mode @ ["xsymbols","symbols"]" proof-xsym-deactivate-command - "print_mode := filter_out (fn x=>prefix(rev (explode "symbols"),rev (explode x))) (!print_mode") + "print_mode := filter_out (fn x=>prefix(rev (explode "symbols"),rev (explode x))) (!print_mode)") (provide 'isa) |