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

[Alexander Krauss]

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.

Alex