# HG changeset patch
# User wenzelm
# Date 1117729793 -7200
# Node ID 05413e43d2f3fe0b68f7f3b148b90d6b885c8378
# Parent  733267a60e322a5f329d634659b98e9d564c3a7b
tuned comment;

diff -r 733267a60e32 -r 05413e43d2f3 src/Pure/Isar/isar_cmd.ML
--- 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();";