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/PIDE/command.ML
changeset 56944 578dc6b4be89
parent 56937 d11d11da0d90
child 57839 d5b0fa6f1f7a 
--- a/src/Pure/PIDE/command.ML	Tue May 13 09:21:22 2014 +0200
+++ b/src/Pure/PIDE/command.ML	Tue May 13 10:15:50 2014 +0200
@@ -198,10 +198,8 @@
   let
     val name = Toplevel.name_of tr;
     val res =
-      if Keyword.is_theory name andalso not (Keyword.is_theory_begin name) then
-        Toplevel.reset_theory st0
-      else if Keyword.is_proof name then
-        Toplevel.reset_proof st0
+      if Keyword.is_theory_body name then Toplevel.reset_theory st0
+      else if Keyword.is_proof name then Toplevel.reset_proof st0
       else NONE;
   in
     (case res of
isabelle