# HG changeset patch
# User wenzelm
# Date 1427905375 -7200
# Node ID 81c70bdbd908d9c2187d25af4189364da67eee34
# Parent  d1e7f56bcd793eac1564344c678c0b0c68c4a512
clarified "main" group, e.g. relevant for Isabelle/jEdit menu;

diff -r d1e7f56bcd79 -r 81c70bdbd908 src/HOL/ROOT
--- a/src/HOL/ROOT	Wed Apr 01 18:18:12 2015 +0200
+++ b/src/HOL/ROOT	Wed Apr 01 18:22:55 2015 +0200
@@ -705,7 +705,7 @@
     "ex/Measure_Not_CCC"
   document_files "root.tex"
 
-session "HOL-Nominal" (main) in Nominal = HOL +
+session "HOL-Nominal" in Nominal = HOL +
   options [document = false]
   theories Nominal