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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
