Re: [isabelle] Remaining reasons for Proof General

On Tue, 12 Nov 2013, Makarius wrote:

On Tue, 12 Nov 2013, Manuel Eberl wrote:

In this context, what is the point of "Sidekick"? It displays every "have", every "using", every "by" as a single node?

There is no big point and it can be simply ignored.

A few more hints on SideKick in general. Its main purpose is to provide some simple tree view on text buffers, depending on "edit mode" and "sidekick parser".

For example, you can use the Documentation panel to open the Isabelle NEWS file. Then you switch to SideKick and get some clickable outline of that file, according to its structure.


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