Skip to content

Latest commit

 

History

History
79 lines (43 loc) · 3.87 KB

README.md

File metadata and controls

79 lines (43 loc) · 3.87 KB

Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework.

Description

Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box.

Visit Isabelle/Eclipse website for more details.

Downloads

Isabelle/Eclipse is available both as standalone Isabelle/Eclipse IDE and as plug-ins for Eclipse to be installed via Update Manager.

The latest stable version is 1.2.0 for Isabelle 2013. Download it from the following links:

Requirements

  • Isabelle 2013

    Isabelle/Eclipse works with Isabelle 2013 only at the moment. The Isabelle/Scala layer currently provides no easy backwards compatibility.

  • Eclipse 3.7 (Indigo) or 4.2 (Juno)

    Isabelle/Eclipse should work with any Eclipse distribution (e.g. Eclipse Classic or just the minimal Platform Runtime). The required Scala library is currently distributed together with the plug-ins.

  • Java 7

    Isabelle/Scala requires Java 7 runtime - the plug-ins will be disabled if older Java version is used.

Nightly builds

Nightly builds are available to test the cutting-edge features of Isabelle/Eclipse. Use the following links to download:

Contributing

Please report bugs, feature requests, questions and other issues using the GitHub tracker:

http://github.com/andriusvelykis/isabelle-eclipse/issues

You can also contribute to the project by forking the repository and sending pull requests with your changes. We welcome various contributions!

Isabelle/Eclipse is built on Eclipse platform using Scala and Java programming languages. It is built using Maven and Eclipse Tycho. Refer to the Developer documentation for hints on building Isabelle/Eclipse yourself.

Feel free to contact the author for assistance.

Authors

Developed by Andrius Velykis (Newcastle University, UK) as part of the AI4FM research project.