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

Update site for Isabelle/Eclipse #3

Closed andriusvelykis closed 12 years ago

andriusvelykis commented 12 years ago

Create an update site for easy installation of Isabelle/Eclipse.

Note to reference Scala dependencies - include them in the update site?

andriusvelykis commented 12 years ago

Added Isabelle/Eclipse feature & update site (p2 repository) projects to the source code. Currently including Scala library in the main feature.

Uploaded the update site to the AI4FM website: http://www.ai4fm.org/isabelle-eclipse/updates/latest/