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

Suggest default session in Isabelle launch configuration #32

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

Pre-select some default session when configuring Isabelle launch. Currently the user needs to always select a session and may be confused by the choice.

Isabelle/jEdit selects HOL by default (if I am not mistaken) - do that as well if available? What would be the best option if HOL is not available?