# HG changeset patch
# User wenzelm
# Date 1357999017 -3600
# Node ID b95ff374481529985e45b79f47ac3f2f7bc5b867
# Parent  1465521b92a1ce3f732bbe656910e8f6f4762912
populate "main" session group, e.g. relevant for Isabelle/jEdit logic selection;

diff -r 1465521b92a1 -r b95ff3744815 src/HOL/ROOT
--- a/src/HOL/ROOT	Sat Jan 12 14:53:56 2013 +0100
+++ b/src/HOL/ROOT	Sat Jan 12 14:56:57 2013 +0100
@@ -16,7 +16,7 @@
     "Tools/Quickcheck/Narrowing_Engine.hs"
     "Tools/Quickcheck/PNF_Narrowing_Engine.hs"
 
-session "HOL-Library" in Library = HOL +
+session "HOL-Library" (main) in Library = HOL +
   description {* Classical Higher-order Logic -- batteries included *}
   theories
     Library
@@ -178,7 +178,7 @@
   options [document = false]
   theories [quick_and_dirty] Nitpick_Examples
 
-session "HOL-Algebra" in Algebra = HOL +
+session "HOL-Algebra" (main) in Algebra = HOL +
   description {*
     Author: Clemens Ballarin, started 24 September 1999
 
@@ -553,7 +553,7 @@
   theories [proofs = 0]  (* FIXME !? *)
     ATP_Problem_Import
 
-session "HOL-Multivariate_Analysis" in Multivariate_Analysis = HOL +
+session "HOL-Multivariate_Analysis" (main) in Multivariate_Analysis = HOL +
   options [document_graph]
   theories
     Multivariate_Analysis
@@ -620,7 +620,7 @@
     Misc_Codata
     Misc_Data
 
-session "HOL-Word" in Word = HOL +
+session "HOL-Word" (main) in Word = HOL +
   options [document_graph]
   theories Word
   files "document/root.bib" "document/root.tex"
@@ -680,7 +680,7 @@
     "VCC_Max.b2i"
     "VCC_Max.certs"
 
-session "HOL-SPARK" in "SPARK" = "HOL-Word" +
+session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +
   options [document = false]
   theories SPARK