| 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 |