Isabelle/Phabricator supports Ubuntu 20.04 LTS;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE581d9d74e1e4: tuned --- make IntelliJ IDEA happy;
- Branches
- Unknown
- Tags
Isabelle/Phabricator supports Ubuntu 20.04 LTS; Tags None Subscribers None
Description
Details
|