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.


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.