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/Pure/System/session.ML
changeset 36950 75b8f26f2f07
parent 32738 15bb09ca0378
child 36953 2af1ad9aa1a3 
--- a/src/Pure/System/session.ML	Sat May 15 22:24:25 2010 +0200
+++ b/src/Pure/System/session.ML	Sat May 15 23:16:32 2010 +0200
@@ -48,7 +48,7 @@
     (if Distribution.changelog <> "" then "\nSee also " ^ Distribution.changelog else "");
 
 val _ =
-  OuterSyntax.improper_command "welcome" "print welcome message" OuterKeyword.diag
+  OuterSyntax.improper_command "welcome" "print welcome message" Keyword.diag
     (Scan.succeed (Toplevel.no_timing o Toplevel.imperative (writeln o welcome)));
isabelle