--- a/src/Pure/ProofGeneral/preferences.ML Mon Oct 29 10:37:09 2007 +0100
+++ b/src/Pure/ProofGeneral/preferences.ML Mon Oct 29 16:13:41 2007 +0100
@@ -57,8 +57,8 @@
val proof_pref =
let
- fun get () = PgipTypes.bool_to_pgstring (! proofs >= 2)
- fun set s = proofs := (if PgipTypes.read_pgipbool s then 2 else 1)
+ fun get () = PgipTypes.bool_to_pgstring (! Proofterm.proofs >= 2)
+ fun set s = Proofterm.proofs := (if PgipTypes.read_pgipbool s then 2 else 1)
in
mkpref get set PgipTypes.Pgipbool "full-proofs"
"Record full proof objects internally"