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.
tuned whitespace;
authorwenzelm
Thu, 13 Feb 2014 11:37:00 +0100
changeset 55446 e77f2858bd59
parent 55445 a76c679c0218
child 55447 aa41ecbdc205
tuned whitespace;
src/Pure/Isar/toplevel.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/toplevel.ML	Thu Feb 13 11:23:55 2014 +0100
+++ b/src/Pure/Isar/toplevel.ML	Thu Feb 13 11:37:00 2014 +0100
@@ -117,7 +117,8 @@
   | loc_begin NONE (Context.Proof lthy) =
       (Context.Proof o Local_Theory.restore, lthy)
   | loc_begin (SOME loc) (Context.Proof lthy) =
-      (Context.Proof o Named_Target.reinit lthy, loc_init loc (loc_exit (Local_Theory.assert_nonbrittle lthy)));
+      (Context.Proof o Named_Target.reinit lthy,
+        loc_init loc (loc_exit (Local_Theory.assert_nonbrittle lthy)));
 
 
 (* datatype node *)
isabelle