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.
editor model: run interactively for now;
authorwenzelm
Wed, 16 Jul 2008 16:42:13 +0200
changeset 27622 86608f598e9f
parent 27621 d96bd54d7446
child 27623 8e9c19529a4e
editor model: run interactively for now;
src/Pure/Isar/isar.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/isar.ML	Wed Jul 16 16:39:11 2008 +0200
+++ b/src/Pure/Isar/isar.ML	Wed Jul 16 16:42:13 2008 +0200
@@ -346,7 +346,7 @@
   (case try the_state (prev_command id) of
     NONE => ()
   | SOME state =>
-      (case run false (#transition (the_command id)) state of
+      (case run true (#transition (the_command id)) state of
         NONE => ()
       | SOME status => update_status status id));
isabelle