Isabelle_07-Apr-2026
Downloads
Source archive
Linux bundle
Linux (ARM) bundle
Windows bundle
macOS bundle
Repositories
Isabelle/6b2ac8d13c7a
AFP/127a09ad943f