more robust (see also 7f55a3e28c88): resolve components from current Isabelle context, using Isabelle/Scala instead of shell scripts;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEef1831744f00: more strict;
- Branches
- Unknown
- Tags