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