Wed, 03 Apr 2019 23:35:13 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Wed, 16 Jan 2019 17:55:26 +0100 | wenzelm | support pruning of export names; | file | diff | annotate |
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; | file | diff | annotate |
Sat, 25 Aug 2018 20:48:16 +0200 | wenzelm | more uniform cartouche syntax; | file | diff | annotate |
Sat, 26 May 2018 19:40:02 +0200 | wenzelm | support 'export_files' in session ROOT; | file | diff | annotate |
Sat, 16 Dec 2017 22:20:06 +0100 | wenzelm | more markup; | file | diff | annotate |
Sat, 16 Dec 2017 16:46:01 +0100 | wenzelm | PIDE markup for session ROOT files; | file | diff | annotate |