Typo in comment
authoraspinall
Thu Aug 09 11:37:27 2007 +0200 (2007-08-09)
changeset 24191333f0a4bcc55
parent 24190 b400ec231fde
child 24192 4eccd4bb8b64
Typo in comment
src/Pure/ProofGeneral/preferences.ML
     1.1 --- a/src/Pure/ProofGeneral/preferences.ML	Wed Aug 08 23:07:50 2007 +0200
     1.2 +++ b/src/Pure/ProofGeneral/preferences.ML	Thu Aug 09 11:37:27 2007 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4  			  get: unit -> string,
     1.5  			  set: string -> unit }
     1.6  
     1.7 -  (* table of categorised and preferences; names must be unique *)
     1.8 +  (* table of categories and preferences; names must be unique *)
     1.9    type isa_preference_table = (string * isa_preference list) list
    1.10  
    1.11    val preferences : isa_preference_table