Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/toplevel.ML
changeset 24058 81aafd465662
parent 24055 f7483532537b
child 24295 af8dbc7a2305 
--- a/src/Pure/Isar/toplevel.ML	Sun Jul 29 16:00:06 2007 +0200
+++ b/src/Pure/Isar/toplevel.ML	Sun Jul 29 17:28:55 2007 +0200
@@ -719,7 +719,7 @@
 
 nonfix >> >>>;
 
-fun >> tr = CRITICAL (fn () =>
+fun >> tr = NAMED_CRITICAL "toplevel" (fn () =>
   (case apply true tr (get_state ()) of
     NONE => false
   | SOME (state', exn_info) =>
isabelle