Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Typo in comment
authoraspinall
Thu, 09 Aug 2007 11:37:27 +0200
changeset 24191 333f0a4bcc55
parent 24190 b400ec231fde
child 24192 4eccd4bb8b64
Typo in comment
src/Pure/ProofGeneral/preferences.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle