From 854a049443742c6472b8e7108a94747564876d64 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 16 Sep 2005 21:38:22 +0000
Subject: removed obsolete ML code;

---
 isa/isabelle-system.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 1c42bd2c..56548bd5 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -442,8 +442,7 @@ until Proof General is restarted."
 (defpacustom full-proofs  nil
   "Whether to record full proof objects internally."
   :type 'boolean
-  :setting "Library.error_fn := (fn _ => ()); Library.try (fn () => Context.use_mltext \"ProofGeneral.full_proofs %b;\" false Library.None) ();")
-;FIXME should become "ProofGeneral.full_proofs %b;" next time
+  :setting "ProofGeneral.full_proofs %b;")
 
 (defpacustom global-timing  nil
   "Whether to enable timing in Isabelle."
-- 
cgit v1.2.3