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.
'cd': diag;
authorwenzelm
Sat, 01 Apr 2000 20:12:15 +0200
changeset 8650 b7542463e936
parent 8649 dc496bb0638f
child 8651 f095f3b8181a
'cd': diag;
src/Pure/Isar/isar_syn.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/isar_syn.ML	Sat Apr 01 20:11:50 2000 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Sat Apr 01 20:12:15 2000 +0200
@@ -540,7 +540,7 @@
 (** system commands (for interactive mode only) **)
 
 val cdP =
-  OuterSyntax.improper_command "cd" "change current working directory" K.control
+  OuterSyntax.improper_command "cd" "change current working directory" K.diag
     (P.name >> IsarCmd.cd);
 
 val pwdP =
isabelle