# HG changeset patch
# User wenzelm
# Date 1661082279 -7200
# Node ID b09dab301d72a00df1a42926499df3a260ef2181
# Parent  f0a8b7ae9192a961417765642195d5972a7512e9
tuned comments, following "isabelle build" usage;

diff -r f0a8b7ae9192 -r b09dab301d72 src/Pure/Thy/browser_info.scala
--- 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,