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 63996 3f47fec9edfc
parent 63443 c037248d54e8
child 64856 5e9bf964510a 
--- a/src/Pure/Thy/sessions.scala	Sun Oct 02 17:05:48 2016 +0200
+++ b/src/Pure/Thy/sessions.scala	Sun Oct 02 19:36:57 2016 +0200
@@ -395,7 +395,7 @@
 
   def store(system_mode: Boolean = false): Store = new Store(system_mode)
 
-  class Store private [Sessions](system_mode: Boolean)
+  class Store private[Sessions](system_mode: Boolean)
   {
     /* output */
isabelle