Standalone Isabelle/Eclipse IDE product

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

Standalone Isabelle/Eclipse IDE product #23

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Create a standalone Isabelle/Eclipse product based on Eclipse RCP platform.

This would allow users to download a pre-packaged Eclipse+Isabelle/Eclipse distribution instead of installing Isabelle/Eclipse plug-ins manually. Also allows customisation of branding, perspective, etc.

andriusvelykis commented 11 years ago

Implemented in 29747a59de327f955b570604d8e3997bb576aa7e

Building standalone Isabelle/Eclipse IDE product for Windows, Linux and Mac OS X. Added branding (icons, splash screen, etc) and using Isabelle perspective as the initial one.