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

Support new Isabelle.Build system #13

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Isabelle 2013 introduced a new build system that builds heaps upon request when launching. Support the build system and its configurations in Isabelle/Eclipse launches.

andriusvelykis commented 11 years ago

Implemented in 0643c5d60fc8c444d96a3e8def0d6b6e758acd55 and a1cf30aca77de5569e95903af09596ff36e6564f

Isabelle launch dialog allows configuring which Isabelle Session to use (e.g. HOL), as well as allows indicating additional Session directories and custom environment variables.

Upon launch, the selected Session is built into heap to use, therefore the initial launch will take longer. Progress is reported via common Progress monitor.