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 comments, following "isabelle build" usage;
authorwenzelm
Sun, 21 Aug 2022 13:44:39 +0200
changeset 75949 b09dab301d72
parent 75948 f0a8b7ae9192
child 75950 3c25aecfa374
tuned comments, following "isabelle build" usage;
src/Pure/Thy/browser_info.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/browser_info.scala	Sun Aug 21 13:16:44 2022 +0200
+++ b/src/Pure/Thy/browser_info.scala	Sun Aug 21 13:44:39 2022 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/Thy/browser_info.scala
     Author:     Makarius
 
-HTML presentation of PIDE document information.
+HTML/PDF presentation of PIDE document information.
 */
 
 package isabelle
@@ -57,7 +57,7 @@
 
 
 
-  /** PDF/HTML presentation context **/
+  /** HTML/PDF presentation context **/
 
   def context(
     sessions_structure: Sessions.Structure,
isabelle