restrict default docking layout to bare minimum -- NB: Simplifier Trace still needs fine-tuning to show up on demand;
Prover IDE support
==================
This is some basic support for PIDE Scala programming, independently
of the main Isabelle repository.
Makarius
17-Jan-2012