Skip to content

Releases: inpefess/isabelle-client

v0.3.5

26 Apr 11:43
@inpefess inpefess
v0.3.5
0053494
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.3.5 Latest
Latest

Beta release

Assets 2
Loading

Alpha release

12 Mar 16:38
@inpefess inpefess
v0.2.0
2e7ee90
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Alpha release Pre-release
Pre-release
  • Now the client includes all commands and their parameters.
  • Also, there is a function to start a server.
  • Naive implementation with socket was changed to more mature with asyncio
Assets 2
Loading