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

Symbols view #18

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Isabelle 2013 provides a new dockable that lists all available symbols graphically. This allows users to select the symbol instead of trying to guess it when typing.

andriusvelykis commented 11 years ago

Implemented in e1e2e59e8901f8f1070aaf98761ebef96ca10b53

Added a Symbols view that lists groups of symbols with a preview and name of the symbol. The list is also searchable.

symbols-view