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

Rich tooltips #20

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Support rich information in tooltips when hovering over Isabelle editor or Prover Output view. Isabelle 2013 supports type information, variable kind and constant names here.

andriusvelykis commented 11 years ago

Implemented in 83196ca039ee88e87c579ea59fe57fda1c14b126