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

Isabelle perspective #7

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 12 years ago

Create Isabelle perspective with the suggested layout and open views.

Currently the views (e.g. Prover Output) need to be opened manually in a custom perspective - Isabelle perspective would help new users.

andriusvelykis commented 11 years ago

Added Isabelle perspective in f0beb09348e8fd04384877f6c441fe23d15034e3