Re: [isabelle] Isabelle2013-1-RC1 available for testing
On Fri, 4 Oct 2013, Makarius wrote:
The SideKick plugin provides a dockable window in which other plugins
can display buffer structure in a tree view.
Did you notice already that the Isabelle NEWS file now has that as well?
Another application are session ROOT files. E.g. IsaFoR/IsaFor/ROOT now
gets a general overview in Sidekick.
I am adding the following to NEWS to make this more explicit:
* Improved support of various "minor modes" for Isabelle NEWS,
options, session ROOT etc., with completion and SideKick tree view.
This archive was generated by a fusion of
Pipermail (Mailman edition) and