Am 17.09.2019 um 00:06 schrieb Makarius:
>> This needs further work on my side. I am presently in the process to
>> throw out accumulated features. Afterwards it should be sufficiently
>> clear to make it work easily on Windows again.
>
> See now Isabelle/b3f61e166763, which stacks up various
On 16/09/2019 21:00, Makarius wrote:
>
> This needs further work on my side. I am presently in the process to
> throw out accumulated features. Afterwards it should be sufficiently
> clear to make it work easily on Windows again.
See now Isabelle/b3f61e166763, which stacks up various
On 16/09/2019 15:40, Alexander Krauss wrote:
>
> I just updated from Isabelle af25255bda02 (two months ago) to current
> 374caac3d624, and I am experiencing issues in jedit which appear related
> to the recent changes in directory and session handling. (I can try to
> bisect the exact changeset
Hi all,
I just updated from Isabelle af25255bda02 (two months ago) to current
374caac3d624, and I am experiencing issues in jedit which appear related
to the recent changes in directory and session handling. (I can try to
bisect the exact changeset if necessary).
Some symptoms:
* The editor
