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.
removed unused operation from 3f50b24909df;
authorwenzelm
Tue, 31 Jan 2023 17:08:16 +0100
changeset 77151 2f43be96c713
parent 77150 286fdf0fcc44
child 77152 4c9296390f20
removed unused operation from 3f50b24909df;
src/Tools/jEdit/src/document_dockable.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/document_dockable.scala	Tue Jan 31 17:04:02 2023 +0100
+++ b/src/Tools/jEdit/src/document_dockable.scala	Tue Jan 31 17:08:16 2023 +0100
@@ -48,8 +48,6 @@
       output_main :::
       (if (output_main.nonEmpty && output_more.nonEmpty) Pretty.Separator else Nil) :::
       output_more
-
-    def ok: Boolean = !output_body.exists(Protocol.is_error)
   }
 }
isabelle