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

Few initialisation defaults (minor) #77

Open leouk opened 11 years ago

leouk commented 11 years ago

Thanks for adjusting to the workspace problem. It's now nicely accepting any (previous) workspace.

A couple of suggestions: start with Isabelle perspective (instead of Resource) after the welcome page + have defaults for where the Isabelle2013.app is when creating a configuration?

The Isabelle Pure trace patching is done again, even if already done, and it's not clear what restart Isabelle means, in the light of the play/stop buttons on the Theories view. Perhaps ask to restart eclupse with that default window that appears on updates?

andriusvelykis commented 11 years ago

The patching bit is part of ProofProcess so does not apply for Isabelle/Eclipse.