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/Thy/sessions.scala
changeset 67880 e59220a075de
parent 67869 8cb4fef58379
child 67922 9e668ae81f97 
--- a/src/Pure/Thy/sessions.scala	Fri Mar 16 16:28:03 2018 +0100
+++ b/src/Pure/Thy/sessions.scala	Fri Mar 16 16:38:46 2018 +0100
@@ -227,7 +227,7 @@
     val session_bases =
       (Map.empty[String, Base] /: sessions_structure.imports_topological_order)({
         case (session_bases, session_name) =>
-          if (progress.stopped) throw Exn.Interrupt()
+          progress.expose_interrupt()
 
           val info = sessions_structure(session_name)
           try {
isabelle