clarified "main" group, e.g. relevant for Isabelle/jEdit menu;
authorwenzelm
Wed Apr 01 18:22:55 2015 +0200 (2015-04-01)
changeset 5989881c70bdbd908
parent 59897 d1e7f56bcd79
child 59899 91f4f956b1eb
clarified "main" group, e.g. relevant for Isabelle/jEdit menu;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Wed Apr 01 18:18:12 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Apr 01 18:22:55 2015 +0200
     1.3 @@ -705,7 +705,7 @@
     1.4      "ex/Measure_Not_CCC"
     1.5    document_files "root.tex"
     1.6  
     1.7 -session "HOL-Nominal" (main) in Nominal = HOL +
     1.8 +session "HOL-Nominal" in Nominal = HOL +
     1.9    options [document = false]
    1.10    theories Nominal
    1.11