src/Pure/Thy/sessions.scala
changeset 65525 360063716c71
parent 65524 0910f1733909
child 65528 d15d302da7f0
     1.1 --- a/src/Pure/Thy/sessions.scala	Thu Apr 20 15:00:32 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Thu Apr 20 17:34:31 2017 +0200
     1.3 @@ -310,6 +310,7 @@
     1.4    object Selection
     1.5    {
     1.6      val empty: Selection = Selection()
     1.7 +    val all: Selection = Selection(all_sessions = true)
     1.8    }
     1.9  
    1.10    sealed case class Selection(