build component according to "isabelle build_e -V 2.5" (inactive);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEb86d1e754e78: updated component according to "isabelle build_e -V 2.0";
- Branches
- Unknown
- Tags
build component according to "isabelle build_e -V 2.5" (inactive); Tags None Subscribers None |