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.
less bulky session stack;
authorwenzelm
Sat, 26 Sep 2020 17:04:51 +0200
changeset 72312 0134a7d6ad56
parent 72311 9a7a14117967
child 72313 babd74b71ea8
less bulky session stack;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Sat Sep 26 16:02:54 2020 +0200
+++ b/src/HOL/ROOT	Sat Sep 26 17:04:51 2020 +0200
@@ -318,8 +318,9 @@
   theories Hoare_Parallel
   document_files "root.bib" "root.tex"
 
-session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Number_Theory" +
+session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Library" +
   sessions
+    "HOL-Number_Theory"
     "HOL-Data_Structures"
     "HOL-Examples"
     "HOL-Word"
isabelle