Skip to content
This repository has been archived by the owner on Sep 25, 2020. It is now read-only.

libisabelle 0.6.1
Compare
Choose a tag to compare
@larsrh larsrh released this 09 Nov 20:21
· 293 commits to master since this release
v0.6.1
3d381a5

Major features

  • support for Isabelle2016-1-RC2 added (ef3c193)
Assets 2