--- 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),