Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ProofGeneral/preferences.ML
changeset 22587 5454b06320fb
parent 22214 6e9ab159512f
child 24100 a2f19514e156 
--- a/src/Pure/ProofGeneral/preferences.ML	Wed Apr 04 00:11:18 2007 +0200
+++ b/src/Pure/ProofGeneral/preferences.ML	Wed Apr 04 00:11:20 2007 +0200
@@ -66,7 +66,7 @@
 
 val thm_deps_pref = 
     let 
-	fun get () = PgipTypes.bool_to_pgstring (Output.has_mode thm_depsN)
+	fun get () = PgipTypes.bool_to_pgstring (print_mode_active thm_depsN)
 	fun set s = if PgipTypes.read_pgipbool s then 
 			change print_mode (insert (op =) thm_depsN)
 		    else
isabelle