# HG changeset patch
# User wenzelm
# Date 1555166013 -7200
# Node ID 78fffdfc678705daa0556438207a13be8518e34f
# Parent  cf408ea5f5057aa3223dc35af52a2770d5245f83
clarified group of "main" library sessions;

diff -r cf408ea5f505 -r 78fffdfc6787 src/HOL/ROOT
--- a/src/HOL/ROOT	Sat Apr 13 16:26:19 2019 +0200
+++ b/src/HOL/ROOT	Sat Apr 13 16:33:33 2019 +0200
@@ -74,7 +74,7 @@
   theories
     Approximations
 
-session "HOL-Homology" (main timing) in Homology = "HOL-Analysis" +
+session "HOL-Homology" (timing) in Homology = "HOL-Analysis" +
   options [document_tags = "theorem%important,corollary%important,proposition%important,class%important,instantiation%important,subsubsection%unimportant,%unimportant",
     document_variants = "document:manual=-proof,-ML,-unimportant"]
   sessions