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