src/Pure/Sessions.thy
Sat, 26 May 2018 19:40:02 +0200 wenzelm support 'export_files' in session ROOT;
Tue, 15 May 2018 13:57:39 +0200 wenzelm tuned headers;
Sat, 16 Dec 2017 16:46:01 +0100 wenzelm PIDE markup for session ROOT files;
less more (0) tip