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 message;
authorwenzelm
Fri, 03 Feb 2023 21:25:17 +0100
changeset 77188 608668d39689
parent 77187 628a34f4f754
child 77189 461c078e545f
tuned message;
src/Tools/jEdit/src/document_dockable.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/document_dockable.scala	Fri Feb 03 20:47:13 2023 +0100
+++ b/src/Tools/jEdit/src/document_dockable.scala	Fri Feb 03 21:25:17 2023 +0100
@@ -252,7 +252,7 @@
         val msgs =
           result match {
             case Exn.Res(_) =>
-              List(Protocol.writeln_message("OK"))
+              List(Protocol.writeln_message("DONE"))
             case Exn.Exn(exn: Document_Build.Build_Error) =>
               exn.log_errors.map(s => Protocol.error_message(YXML.parse_body(s)))
             case Exn.Exn(exn) =>
isabelle