# HG changeset patch
# User aspinall
# Date 1186652247 -7200
# Node ID 333f0a4bcc55319f748a2d83b8954f69de9d8973
# Parent  b400ec231fdead5685d0de8ef84bccac45aed9ce
Typo in comment

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