diff -r 0eedd78c2b47 -r 744266e32612 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Thu Apr 14 12:00:29 2016 +0200
+++ b/src/Pure/Thy/sessions.scala	Thu Apr 14 12:08:38 2016 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/Thy/sessions.scala
     Author:     Makarius
 
-Session information.
+Isabelle session information.
 */
 
 package isabelle