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/export_theory.scala
changeset 71726 a5fda30edae2
parent 71601 97ccf48c2f0c
child 72691 2126cf946086 
--- a/src/Pure/Thy/export_theory.scala	Tue Apr 07 21:07:28 2020 +0200
+++ b/src/Pure/Thy/export_theory.scala	Tue Apr 07 21:49:36 2020 +0200
@@ -30,7 +30,7 @@
     store: Sessions.Store,
     sessions_structure: Sessions.Structure,
     session_name: String,
-    progress: Progress = No_Progress,
+    progress: Progress = new Progress,
     cache: Term.Cache = Term.make_cache()): Session =
   {
     val thys =
isabelle