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.
reduced heap hierarchy, for potentially improved performance;
authorwenzelm
Sat, 28 Oct 2017 21:26:51 +0200
changeset 66932 149025fecca0
parent 66931 4ff031d249b2
child 66933 4e06b030730c
reduced heap hierarchy, for potentially improved performance;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Sat Oct 28 16:43:26 2017 +0200
+++ b/src/HOL/ROOT	Sat Oct 28 21:26:51 2017 +0200
@@ -55,7 +55,9 @@
     Refute
   document_files "root.bib" "root.tex"
 
-session "HOL-Analysis" (main timing) in Analysis = "HOL-Computational_Algebra" +
+session "HOL-Analysis" (main timing) in Analysis = HOL +
+  sessions
+    "HOL-Computational_Algebra"
   theories
     Analysis
   document_files
isabelle