more generic Isabelle_app;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE6823dddf9cf1: prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc);
- Branches
- Unknown
- Tags
more generic Isabelle_app; Tags None Subscribers None |