NEWS

--- a/NEWS	Sun Nov 06 21:45:06 2022 +0100
+++ b/NEWS	Sun Nov 06 22:17:28 2022 +0100
@@ -13,6 +13,7 @@
 with demo documents in the regular Isabelle "doc" space:
 
   - Easychair as session "Demo_Easychair" / doc "demo_easychair"
+  - EPTCS as session "Demo_EPTCS" / doc "demo_eptcs"
   - FoilTeX as session "Demo_FoilTeX" / doc "demo_foiltex"
   - Dagstuhl LIPIcs style as session "Demo_LIPIcs" / doc "demo_lipics"
   - Springer LaTeX LNCS style as session "Demo_LLNCS" / doc "demo_llncs"