On 6/29/20 4:48 AM, Daniel wrote:
> On 27/6/20 17:34, Richard Kimberly Heck wrote:
>> On 6/26/20 3:20 PM, Daniel wrote:
>>> On 2020-06-26 17:49, Richard Kimberly Heck wrote:
On 6/26/20 3:35 AM, Jürgen Spitzmüller wrote:
> Am Freitag, den 26.06.2020, 09:25 +0200 schrieb Jürgen Spitzmüller:
On 27/6/20 17:34, Richard Kimberly Heck wrote:
On 6/26/20 3:20 PM, Daniel wrote:
On 2020-06-26 17:49, Richard Kimberly Heck wrote:
On 6/26/20 3:35 AM, Jürgen Spitzmüller wrote:
Am Freitag, den 26.06.2020, 09:25 +0200 schrieb Jürgen Spitzmüller:
Am Freitag, den 26.06.2020, 07:40 +0200 schrieb
On 27/6/20 10:00, Kornel Benko wrote:
Am Sat, 27 Jun 2020 09:02:25 +0200
schrieb Kornel Benko :
Am Sat, 27 Jun 2020 06:35:14 +0200
schrieb Daniel :
But then the plain name will go to the list of cross-references from
where it could be inserted. I kind of like the way the bookmarks are
just