Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/sessions.scala
changeset 66977 fa79f18eadc7
parent 66976 806bc39550a5
child 66984 a1d3e5df0c95 
--- a/src/Pure/Thy/sessions.scala	Wed Nov 01 16:43:51 2017 +0100
+++ b/src/Pure/Thy/sessions.scala	Wed Nov 01 16:58:38 2017 +0100
@@ -362,7 +362,7 @@
 
         if (required_theories.isEmpty) (info.parent.get, Nil)
         else {
-          val other_name = info.name + "(imports)"
+          val other_name = info.name + "(base)"
           (other_name,
             List(
               make_info(info.options,
isabelle