--- a/src/Doc/Demo_Easychair/document/root.tex Fri Nov 04 20:48:14 2022 +0100
+++ b/src/Doc/Demo_Easychair/document/root.tex Fri Nov 04 20:56:07 2022 +0100
@@ -9,7 +9,7 @@
\begin{document}
-\title{Isabelle document preparation with Easychair style}
+\title{Isabelle document preparation with Easychair {\LaTeX} style}
\titlerunning{Easychair style}
\author{Makarius Wenzel}
\authorrunning{M. Wenzel}
--- a/src/Doc/Demo_FoilTeX/document/root.tex Fri Nov 04 20:48:14 2022 +0100
+++ b/src/Doc/Demo_FoilTeX/document/root.tex Fri Nov 04 20:56:07 2022 +0100
@@ -47,7 +47,7 @@
\begin{document}
-\title{\titlestyle Simple slides with with FoilTeX}
+\title{\titlestyle Simple slides with FoilTeX}
\author{Makarius Wenzel, Augsburg \\ \url{https://sketis.net}}
\date{}
\maketitle