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 signature;
authorwenzelm
Sun, 02 Sep 2018 23:55:25 +0200
changeset 68889 d9c051e9da2b
parent 68888 4fe165254e20
child 68891 3cdde2ea2667
child 68892 dce6cbd3cafc
tuned signature;
src/Pure/PIDE/document_status.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/document_status.scala	Sun Sep 02 23:25:53 2018 +0200
+++ b/src/Pure/PIDE/document_status.scala	Sun Sep 02 23:55:25 2018 +0200
@@ -141,8 +141,8 @@
         finished = finished,
         canceled = canceled,
         terminated = terminated,
+        initialized = initialized,
         finalized = finalized,
-        initialized = initialized,
         consolidated = consolidated)
     }
   }
@@ -155,8 +155,8 @@
     finished: Int,
     canceled: Boolean,
     terminated: Boolean,
+    initialized: Boolean,
     finalized: Boolean,
-    initialized: Boolean,
     consolidated: Boolean)
   {
     def ok: Boolean = failed == 0
isabelle