Re: [isabelle] Help file for commands such as "declare [[show_types]]" because jEdit lacks PG features
On 24.05.2012 02:41, gottfried.barrow at gmx.com wrote:
I was talking about Proof General's feature to search the Isabelle logic
theories for a keyword in the lemma names, theorem names, definition
names, etc.. (Would that be the "Find Theorem" menu command?) I haven't
seen that I can do that in jEdit.
You can use the "find_theorems" command for that (which is the same PG
uses, but jEdit does not provide a menu item for it).
This archive was generated by a fusion of
Pipermail (Mailman edition) and