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 76443 8dbb0b2f6576
parent 76402 2fd70eb1e9b6
child 76458 cc6fd1695294 
--- a/NEWS	Fri Nov 04 20:02:54 2022 +0100
+++ b/NEWS	Fri Nov 04 20:15:54 2022 +0100
@@ -15,6 +15,7 @@
   - 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"
+  - Springer LaTeX LNCS style as session "Demo_LLNCS" / doc "demo_llncs"
 
 
 *** HOL ***
isabelle