diff -r b400ec231fde -r 333f0a4bcc55 src/Pure/ProofGeneral/preferences.ML
--- 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