From 2d3c8e6e3975d929a097307b909523d066fcdc36 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 18 Jan 2001 19:56:48 +0000
Subject: proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid
 \\\\;

---
 isar/isar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index b76d15b4..0047446e 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -541,7 +541,7 @@ proof-shell-retract-files-regexp."
  proof-xsym-activate-command
  (isar-markup-ml "print_mode := ([\"xsymbols\",\"symbols\"] @ ! print_mode)")
  proof-xsym-deactivate-command
- (isar-markup-ml "print_mode := (! print_mode \\\\ [\"xsymbols\",\"symbols\"])"))
+ (isar-markup-ml "print_mode := (Library.gen_rems (op =) (! print_mode, [\"xsymbols\",\"symbols\"]))"))
 
 
 (provide 'isar)
-- 
cgit v1.2.3