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.
clarified quasi-generic PIDE;
authorwenzelm
Tue, 01 Jul 2014 15:19:05 +0200
changeset 57453 77d13a98f1c8
parent 57452 ecad2a53755a
child 57454 e302e4bd0345
clarified quasi-generic PIDE;
src/Pure/General/output.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/output.scala	Tue Jul 01 14:52:08 2014 +0200
+++ b/src/Pure/General/output.scala	Tue Jul 01 15:19:05 2014 +0200
@@ -1,4 +1,5 @@
-/*  Title:      Pure/General/output.ML
+/*  Title:      Pure/General/output.scala
+    Module:     PIDE
     Author:     Makarius
 
 Isabelle channels for diagnostic output.
isabelle