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