Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 76399 d0a1f3eb0982
parent 76396 389d77e6be9f
child 76402 2fd70eb1e9b6 
--- a/NEWS	Mon Oct 31 17:59:33 2022 +0100
+++ b/NEWS	Mon Oct 31 21:44:34 2022 +0100
@@ -13,6 +13,7 @@
 with demo documents in the regular Isabelle "doc" space:
 
   - Easychair as session "Demo_Easychair" / doc "demo_easychair"
+  - FoilTeX as session "Demo_FoilTeX" / doc "demo_foiltex"
   - Dagstuhl LIPIcs style as session "Demo_LIPIcs" / doc "demo_lipics"
isabelle