From 05361f4d8045fb32826deba4118dea46d56eccfb Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 8 Nov 1999 14:07:43 +0000 Subject: Typo. --- isa/isa.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/isa/isa.el b/isa/isa.el index 87f6b4de..d1c17ad6 100644 --- a/isa/isa.el +++ b/isa/isa.el @@ -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) -- cgit v1.2.3