dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
search field for symbols
Prover IDE support
==================
This is some basic support for PIDE Scala programming, independently
of the main Isabelle repository.
Makarius
17-Jan-2012