
diff -r 4a3a105ecbcc -r ac19229c9f31 src/Doc/Demo_Easychair/document/root.tex
--- 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}




