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

Add update site to default list #76

Open leouk opened 11 years ago

leouk commented 11 years ago

How about add the Isabelle/Eclipse update site to the default list?