Skip to content

Isabelle2021-1-v1.0.0
Compare
Choose a tag to compare
@Dacit Dacit released this 05 Jan 08:23
· 93 commits to master since this release
Isabelle2021-1-v1.0.0
d8029fd
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

First stable release, for Isabelle2021-1.

To install, download and extract the source archive and follow the setup instructions.

Assets 2
Loading