--- a/src/Pure/Thy/present.ML Thu Jan 03 15:13:11 2013 +0100
+++ b/src/Pure/Thy/present.ML Thu Jan 03 20:42:18 2013 +0100
@@ -213,7 +213,7 @@
(** document preparation **)
-(* maintain index *)
+(* maintain session index *)
val session_entries =
HTML.session_entries o