src/Pure/ProofGeneral/preferences.ML
changeset 24191 333f0a4bcc55
parent 24100 a2f19514e156
child 24329 f31594168d27
equal deleted inserted replaced
24190:b400ec231fde 24191:333f0a4bcc55
    14 			  default: string,
    14 			  default: string,
    15 			  pgiptype: pgiptype,
    15 			  pgiptype: pgiptype,
    16 			  get: unit -> string,
    16 			  get: unit -> string,
    17 			  set: string -> unit }
    17 			  set: string -> unit }
    18 
    18 
    19   (* table of categorised and preferences; names must be unique *)
    19   (* table of categories and preferences; names must be unique *)
    20   type isa_preference_table = (string * isa_preference list) list
    20   type isa_preference_table = (string * isa_preference list) list
    21 
    21 
    22   val preferences : isa_preference_table
    22   val preferences : isa_preference_table
    23 
    23 
    24   val remove      : string -> isa_preference_table -> isa_preference_table
    24   val remove      : string -> isa_preference_table -> isa_preference_table