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.
src/Doc/ROOTS
changeset 76443 8dbb0b2f6576
parent 76420 809cd1195795
child 76478 d84568379f3f 
--- a/src/Doc/ROOTS	Fri Nov 04 20:02:54 2022 +0100
+++ b/src/Doc/ROOTS	Fri Nov 04 20:15:54 2022 +0100
@@ -1,3 +1,4 @@
 Demo_Easychair
 Demo_FoilTeX
 Demo_LIPIcs
+Demo_LLNCS
isabelle