Isabelle_03-Apr-2025
Downloads
Source archive
Linux bundle
Linux (ARM) bundle
Windows bundle
macOS bundle
Repositories
Isabelle/00a83dd88141
AFP/0a19a960dac5