| Thu, 18 Jan 2018 21:41:30 +0100 | wenzelm | clarified access to antiquotation options; | file | diff | annotate |
| Tue, 09 Jan 2018 15:40:12 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Fri, 29 Dec 2017 19:53:43 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 29 Dec 2017 17:40:57 +0100 | wenzelm | formal check of @{cite} bibtex entries -- only in batch-mode session builds; | file | diff | annotate |
| Wed, 27 Dec 2017 11:51:38 +0100 | wenzelm | clarified default position for empty message pos; | file | diff | annotate |
| Sun, 24 Dec 2017 14:10:41 +0100 | wenzelm | check bibtex database on ML side -- for semantic PIDE editing; | file | diff | annotate |
| Sun, 24 Dec 2017 13:07:05 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |