--- a/doc/Contents Mon Oct 31 15:50:13 2022 +0100
+++ b/doc/Contents Mon Oct 31 17:10:13 2022 +0100
@@ -19,6 +19,7 @@
jedit Isabelle/jEdit
Demo Documents
+ demo_easychair Demo for Easychair style
demo_lipics Demo for Dagstuhl LIPIcs style
Old Isabelle Manuals