src/Pure/Thy/sessions.ML
Sat, 07 Sep 2019 12:11:42 +0200 wenzelm support for explicit session directories;
Wed, 03 Apr 2019 23:35:13 +0200 wenzelm tuned signature;
Wed, 16 Jan 2019 17:55:26 +0100 wenzelm support pruning of export names;
Tue, 27 Nov 2018 21:07:39 +0100 wenzelm more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups;
Sat, 25 Aug 2018 20:48:16 +0200 wenzelm more uniform cartouche syntax;
Sat, 26 May 2018 19:40:02 +0200 wenzelm support 'export_files' in session ROOT;
Sat, 16 Dec 2017 22:20:06 +0100 wenzelm more markup;
Sat, 16 Dec 2017 16:46:01 +0100 wenzelm PIDE markup for session ROOT files;
less more (0) tip