| changeset 24191 | 333f0a4bcc55 |
| parent 24100 | a2f19514e156 |
| child 24329 | f31594168d27 |
--- a/src/Pure/ProofGeneral/preferences.ML Wed Aug 08 23:07:50 2007 +0200 +++ b/src/Pure/ProofGeneral/preferences.ML Thu Aug 09 11:37:27 2007 +0200 @@ -16,7 +16,7 @@ get: unit -> string, set: string -> unit } - (* table of categorised and preferences; names must be unique *) + (* table of categories and preferences; names must be unique *) type isa_preference_table = (string * isa_preference list) list val preferences : isa_preference_table