# HG changeset patch
# User wenzelm
# Date 1491582390 -7200
# Node ID 4433d189a77d8ad853d213f1dd5dd73b9422384b
# Parent  fcff401fb6095544f0ef65f77ea203e0994a7320
tuned comment;

diff -r fcff401fb609 -r 4433d189a77d src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Fri Apr 07 16:34:14 2017 +0200
+++ b/src/Pure/Thy/sessions.scala	Fri Apr 07 18:26:30 2017 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/Thy/sessions.scala
     Author:     Makarius
 
-Isabelle session information.
+Cumulative session information.
 */
 
 package isabelle