src/Pure/Thy/sessions.ML
11 months ago wenzelm 2019-01-16 support pruning of export names;
12 months ago wenzelm 2018-11-27 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; tuned signature;
15 months ago wenzelm 2018-08-25 more uniform cartouche syntax;
18 months ago wenzelm 2018-05-26 support 'export_files' in session ROOT;
24 months ago wenzelm 2017-12-16 more markup; multiple error output;
24 months ago wenzelm 2017-12-16 PIDE markup for session ROOT files;