more robust: support other_isabelle.init_settings for build_history before b93404a4c3dd;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEa5998396051e: more robust: defer error in sessions structure to build process;
- Branches
- Unknown
- Tags