[isabelle-dev] Isabelle 374caac3d624: Directory handling on Cygwin

Alexander Krauss krauss at in.tum.de
Tue Sep 17 10:42:33 CEST 2019

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 clarifications in
> theory file retrieval.

Thanks, that helped.


More information about the isabelle-dev mailing list