--- 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