Skip to content

PSL for Isabelle2021-1

Pre-release
Pre-release
Compare
Choose a tag to compare
@yutakang yutakang released this 03 May 22:00
· 168 commits to master since this release
v0.2.3-alpha
3abe032
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.

This release should be compatible with Isabelle2021-1.

One needs to use the command similar the following to use PSL and all that.

(path to the Isabelle binary)isabelle jedit -d (path to the directory that contains this README file) -l Smart_Isabelle

Use it at your own risk.

Your feedback will be appreciated.

Assets 2
Loading