src/Pure/ProofGeneral/preferences.ML
changeset 21649 40e6fdd26f82
parent 21637 a7b156c404e2
child 21940 fbd068dd4d29
equal deleted inserted replaced
21648:c8a0370c9b93 21649:40e6fdd26f82
    75 	val pg_print_depth_val = ref 10
    75 	val pg_print_depth_val = ref 10
    76 	fun get () = PgipTypes.int_to_pgstring (! pg_print_depth_val)
    76 	fun get () = PgipTypes.int_to_pgstring (! pg_print_depth_val)
    77 	fun setn n = (print_depth n; pg_print_depth_val := n)
    77 	fun setn n = (print_depth n; pg_print_depth_val := n)
    78 	val set = setn o PgipTypes.read_pgipnat
    78 	val set = setn o PgipTypes.read_pgipnat
    79     in
    79     in
    80 	mkpref get set PgipTypes.Pgipbool "print-depth" "Setting for the ML print depth"
    80 	mkpref get set PgipTypes.Pgipnat
       
    81 	       "print-depth" "Setting for the ML print depth"
    81     end
    82     end
    82 
    83 
    83 
    84 
    84 val display_preferences = 
    85 val display_preferences = 
    85     [bool_pref show_types
    86     [bool_pref show_types