search

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

Release Isabelle/Eclipse 1.2.0 #58

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Issue tracking the stable release of Isabelle/Eclipse 1.2.0 milestone.

andriusvelykis commented 11 years ago

Released: 4b3cba63457ff0d962d27224d3d274c9436e4af8

Updated the downloads and the website.