changeset 8650 | b7542463e936 |
parent 8615 | 419166fa66d0 |
child 8661 | 5427f450e9da |
--- 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 =