Isabelle/Eclipse Support

Eclipse integration for Isabelle proof assistant

Status: Beta

Brought to you by: andrius-velykis

Isabelle/Eclipse says the best way to get help with its software is by visiting http://github.com/andriusvelykis/isabelle-eclipse/issues.

Here are some other places where you can look for information about this project.

This project has a homepage which can be found at http://andriusvelykis.github.com/isabelle-eclipse.