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.
clarified "main" group, e.g. relevant for Isabelle/jEdit menu;
authorwenzelm
Wed, 01 Apr 2015 18:22:55 +0200
changeset 59898 81c70bdbd908
parent 59897 d1e7f56bcd79
child 59899 91f4f956b1eb
clarified "main" group, e.g. relevant for Isabelle/jEdit menu;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- 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
isabelle