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

Separate launch group for Isabelle launches #21

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Move Isabelle launch configurations to a separate launch group. This allows to have an Isabelle-specific button in the toolbar (as opposed to using External Tools) as well as easier dialog access programmatically.

andriusvelykis commented 11 years ago

Implemented in bccbaeb04dd9dcb9c1d8e738e93e665b8b3bbf14

Isabelle configurations are now in a special button in the toolbar. Also, the configurations can be opened from "Isabelle prover is not running" messages from certain Isabelle views.