| Fri, 19 Jan 2018 14:55:46 +0100 | wenzelm | formal treatment of documentation names; | file | diff | annotate |
| Sat, 16 Dec 2017 21:53:07 +0100 | wenzelm | added document antiquotation @{session name}; | file | diff | annotate |
| Sun, 12 Nov 2017 12:41:05 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 07 Nov 2017 16:50:26 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 07 Nov 2017 16:44:25 +0100 | wenzelm | clarifified selection: always wrt. build_graph structure; | file | diff | annotate |
| Tue, 31 Oct 2017 17:03:57 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 12 Oct 2017 11:25:06 +0200 | wenzelm | clarified signature; | file | diff | annotate |