1 (* Title: Pure/Thy/Sessions.thy
1 (* Title: Pure/Sessions.thy
2 Author: Makarius
3
4 PIDE markup for session ROOT.
5 *)
6