--- a/src/Pure/Sessions.thy Tue May 15 11:33:43 2018 +0200 +++ b/src/Pure/Sessions.thy Tue May 15 13:57:39 2018 +0200 @@ -1,4 +1,4 @@ -(* Title: Pure/Thy/Sessions.thy +(* Title: Pure/Sessions.thy Author: Makarius PIDE markup for session ROOT.