Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_easychair.scala
changeset 76479 8ac1d83301b5
parent 76398 fc35958d2e73
child 76518 b30b8e23383c 
--- 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))
isabelle