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

Distribute Isabelle/Eclipse source code via update sites #52

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

Generate source code plug-ins and source code features.

Tycho 0.17.0 seems to have some support for this.