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/Admin/build_doc.scala
changeset 74814 79fa9f2d02fa
parent 73719 d4c7b88f56a0
child 75393 87ebf5a50283 
--- a/src/Pure/Admin/build_doc.scala	Wed Nov 17 15:23:15 2021 +0100
+++ b/src/Pure/Admin/build_doc.scala	Wed Nov 17 15:46:35 2021 +0100
@@ -52,6 +52,7 @@
       {
         case (doc, session) =>
           try {
+            progress.expose_interrupt()
             progress.echo("Documentation " + quote(doc) + " ...")
 
             using(store.open_database_context())(db_context =>
isabelle