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 installation instructions #2

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 12 years ago

No installation instructions available for development/usage of Isabelle/Eclipse.

andriusvelykis commented 11 years ago

Added Help contents to Isabelle/Eclipse in 3271ea133ac1f5806c0d20a05198208d6197674c

These include Getting started and Features pages.

Also updated the website to include the same information. Added Developer documentation as well.