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
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