--- a/doc/Contents Mon Oct 31 17:59:33 2022 +0100
+++ b/doc/Contents Mon Oct 31 21:44:34 2022 +0100
@@ -20,6 +20,7 @@
Demo Documents
demo_easychair Demo for Easychair style
+ demo_foiltex Demo for FoilTeX: slides in LaTeX
demo_lipics Demo for Dagstuhl LIPIcs style
Old Isabelle Manuals