src/Pure/Thy/present.ML
changeset 50707 5b2bf7611662
parent 50121 97d2b77313a0
child 51293 05b1bbae748d
     1.1 --- a/src/Pure/Thy/present.ML	Thu Jan 03 15:13:11 2013 +0100
     1.2 +++ b/src/Pure/Thy/present.ML	Thu Jan 03 20:42:18 2013 +0100
     1.3 @@ -213,7 +213,7 @@
     1.4  
     1.5  (** document preparation **)
     1.6  
     1.7 -(* maintain index *)
     1.8 +(* maintain session index *)
     1.9  
    1.10  val session_entries =
    1.11    HTML.session_entries o