diff options
| author | Makarius Wenzel | 2005-09-16 21:38:22 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-16 21:38:22 +0000 |
| commit | 854a049443742c6472b8e7108a94747564876d64 (patch) | |
| tree | 3ec266439e67feb1663483eebee5f53a53ca54ba | |
| parent | f250f29abdfdfa10566762feabb5be8b2d843f7d (diff) | |
removed obsolete ML code;
| -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." |