Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper session imports;
authorwenzelm
Fri, 17 Jul 2020 17:06:54 +0200
changeset 72056 b9f5f30b623f
parent 72055 deb390860f07
child 72057 ce3f26b4e790
proper session imports;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Fri Jul 17 15:13:03 2020 +0200
+++ b/src/HOL/ROOT	Fri Jul 17 17:06:54 2020 +0200
@@ -320,7 +320,8 @@
 session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Number_Theory" +
   sessions
     "HOL-Data_Structures"
-    "HOL-ex"
+    "HOL-Examples"
+    "HOL-Word"
   theories
     Generate
     Generate_Binary_Nat
isabelle