Re: [isabelle] 2014-RC1 issues



An another feature request:


The sidekick panel is supposed to show an overview of the theory. 
At the top-level of the hierarchy, you can see the first lines of lemma,
definition, etc commands, which may or may not contain useful
information. In the worst case, you just see "lemma" or "definition".

It is even worse if you look under a lemma command. This looks like:
+lemma
|- using
|- case
|- proof
|- apply 
|- apply 
|- done
|- qed

i.e., almost completely useless information. 

The information that might be useful, i.e. the name and the proposition
of the lemma, is displayed nowhere!

Attached is a screenshot from a current development of mine, that
illustrates the problem.

--
  Peter

Attachment: shot.png
Description: PNG image



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