HomeIsabelle/Phabricator

more robust: avoid potential problems with encoding of directory name;

Authored by makarius.

Description

more robust: avoid potential problems with encoding of directory name;

Details

Committed
makariusThu, Jul 16, 11:43 AM
Parents
rISABELLE7b112eedc859: more robust wrt. experimental changes in Poly/ML;
Branches
Unknown
Tags
Unknown