doc/Contents

   implementation  The Isabelle/Isar Implementation Manual
   system          The Isabelle System Manual
   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
 
 Old Isabelle Manuals