src/Pure/Sessions.thy
2018-05-26 wenzelm 2018-05-26 support 'export_files' in session ROOT;
2018-05-15 wenzelm 2018-05-15 tuned headers;
2017-12-16 wenzelm 2017-12-16 PIDE markup for session ROOT files;