# HG changeset patch
# User wenzelm
# Date 1238445825 -7200
# Node ID 6d321d31914185efb3b16ef59f951a03661c2fa2
# Parent  dbdb74be8dde80a8a595b761d0ca9efea4b894aa
tuned;

diff -r dbdb74be8dde -r 6d321d319141 src/Pure/Isar/isar_cmd.ML
--- a/src/Pure/Isar/isar_cmd.ML	Mon Mar 30 22:38:50 2009 +0200
+++ b/src/Pure/Isar/isar_cmd.ML	Mon Mar 30 22:43:45 2009 +0200
@@ -1,7 +1,7 @@
 (*  Title:      Pure/Isar/isar_cmd.ML
     Author:     Markus Wenzel, TU Muenchen
 
-Derived Isar commands.
+Miscellaneous Isar commands.
 *)
 
 signature ISAR_CMD =
@@ -298,7 +298,7 @@
 
 (* current working directory *)
 
-fun cd path = Toplevel.imperative (fn () => (File.cd path));
+fun cd path = Toplevel.imperative (fn () => File.cd path);
 val pwd = Toplevel.imperative (fn () => writeln (Path.implode (File.pwd ())));