# HG changeset patch
# User wenzelm
# Date 1667769651 -3600
# Node ID 8ac1d83301b582796000c92883c550a0be3fb6cf
# Parent  d84568379f3f4290d86681e4289b3a69eb70b734
tuned comments;

diff -r d84568379f3f -r 8ac1d83301b5 doc/Contents
--- a/doc/Contents	Sun Nov 06 22:17:28 2022 +0100
+++ b/doc/Contents	Sun Nov 06 22:20:51 2022 +0100
@@ -19,8 +19,8 @@
   jedit           Isabelle/jEdit
 
 Demo Documents
-  demo_easychair  Demo for Easychair style
-  demo_eptcs      Demo for EPTCS style
+  demo_easychair  Demo for Easychair LaTeX style
+  demo_eptcs      Demo for EPTCS LaTeX style
   demo_foiltex    Demo for FoilTeX: slides in LaTeX
   demo_lipics     Demo for Dagstuhl LIPIcs style
   demo_llncs      Demo for Springer LaTeX LNCS style
diff -r d84568379f3f -r 8ac1d83301b5 src/Pure/Admin/build_easychair.scala
--- a/src/Pure/Admin/build_easychair.scala	Sun Nov 06 22:17:28 2022 +0100
+++ b/src/Pure/Admin/build_easychair.scala	Sun Nov 06 22:20:51 2022 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Pure/Admin/build_easychair.scala
     Author:     Makarius
 
-Build Isabelle component for Easychair style.
+Build Isabelle component for Easychair LaTeX style.
 
 See also https://easychair.org/publications/for_authors
 */
@@ -80,7 +80,7 @@
   /* Isabelle tool wrapper */
 
   val isabelle_tool =
-    Isabelle_Tool("build_easychair", "build component for Easychair style",
+    Isabelle_Tool("build_easychair", "build component for Easychair LaTeX style",
       Scala_Project.here,
       { args =>
         var target_dir = Path.current
@@ -93,7 +93,7 @@
     -D DIR       target directory (default ".")
     -U URL       download URL (default: """" + default_url + """")
 
-  Build component for Easychair style.
+  Build component for Easychair LaTeX style.
 """,
           "D:" -> (arg => target_dir = Path.explode(arg)),
           "U:" -> (arg => download_url = arg))
diff -r d84568379f3f -r 8ac1d83301b5 src/Pure/Admin/build_eptcs.scala
--- a/src/Pure/Admin/build_eptcs.scala	Sun Nov 06 22:17:28 2022 +0100
+++ b/src/Pure/Admin/build_eptcs.scala	Sun Nov 06 22:20:51 2022 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Pure/Admin/build_eptcs.scala
     Author:     Makarius
 
-Build Isabelle component for EPTCS style.
+Build Isabelle component for EPTCS LaTeX style.
 
 See also:
   - http://style.eptcs.org
@@ -69,7 +69,7 @@
   /* Isabelle tool wrapper */
 
   val isabelle_tool =
-    Isabelle_Tool("build_eptcs", "build component for EPTCS style",
+    Isabelle_Tool("build_eptcs", "build component for EPTCS LaTeX style",
       Scala_Project.here,
       { args =>
         var target_dir = Path.current
@@ -84,7 +84,7 @@
     -U URL       download URL (default: """" + default_url + """")
     -V VERSION   version (default: """" + default_version + """")
 
-  Build component for EPTCS style.
+  Build component for EPTCS LaTeX style.
 """,
           "D:" -> (arg => target_dir = Path.explode(arg)),
           "U:" -> (arg => base_url = arg),