Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/code/code_target.ML
changeset 27353 71c4dd53d4cb
parent 27346 b664e5bc95fd
child 27372 29a09358953f 
--- a/src/Tools/code/code_target.ML	Wed Jun 25 14:54:45 2008 +0200
+++ b/src/Tools/code/code_target.ML	Wed Jun 25 17:38:32 2008 +0200
@@ -2216,7 +2216,7 @@
      -- Scan.optional (P.$$$ "(" |-- P.arguments --| P.$$$ ")") []
   ) >> (fn (raw_cs, seris) => cmd raw_cs seris));
 
-val _ = OuterSyntax.keywords [infixK, infixlK, infixrK, inK, module_nameK, fileK];
+val _ = List.app OuterKeyword.keyword [infixK, infixlK, infixrK, inK, module_nameK, fileK];
 
 val _ =
   OuterSyntax.command "code_class" "define code syntax for class" K.thy_decl (
isabelle