# HG changeset patch
# User wenzelm
# Date 1667591767 -3600
# Node ID ac19229c9f311b1ff386012136257922c4fa2ce4
# Parent  4a3a105ecbccd3fe0b7773bf44d335172aaf554b
tuned document;

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