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

Isabelle/Eclipse website #25

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Create a website for Isabelle/Eclipse to complement GitHub repository.

andriusvelykis commented 11 years ago

Basic website available now at http://andriusvelykis.github.com/isabelle-eclipse/