diff options
| -rw-r--r-- | isa/isabelle-system.el | 3 |
1 files changed, 1 insertions, 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." |