tuned comment;

--- a/src/Pure/Isar/isar_cmd.ML	Thu Jun 02 18:29:52 2005 +0200
+++ b/src/Pure/Isar/isar_cmd.ML	Thu Jun 02 18:29:53 2005 +0200
@@ -166,7 +166,7 @@
 fun use_mltext v txt = Toplevel.keep' (fn verb => fn state =>
   (Context.use_mltext txt (v andalso verb) (try Toplevel.theory_of state)));
 
-(*Note: commit is dynamically bound*)
+(*commit is dynamically bound!*)
 val use_commit = use_mltext false "commit();";