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 42669 04dfffda5671
parent 42358 b47d41d9f4b5
child 48634 30a6e841390a 
--- a/src/Pure/ProofGeneral/preferences.ML	Tue May 03 22:26:16 2011 +0200
+++ b/src/Pure/ProofGeneral/preferences.ML	Tue May 03 22:27:32 2011 +0200
@@ -124,7 +124,7 @@
   bool_pref Goal_Display.show_consts_default
     "show-consts"
     "Show types of consts in Isabelle goal display",
-  bool_pref Name_Space.long_names_default
+  bool_pref Name_Space.names_long_default
     "long-names"
     "Show fully qualified names in Isabelle terms",
   bool_pref Printer.show_brackets_default
isabelle