Re: [isabelle] PIDE Display of Assumptions
Well thanks for all the advice, but as I said; I had already figured that out.
I wouldn't have used PIDE for more than 5 minutes otherwise (which happened in the past).
On 30.06.2012, at 22:26, Makarius wrote:
> On Fri, 29 Jun 2012, Makarius wrote:
>> On Fri, 29 Jun 2012, Patrick Michel wrote:
>>> While updating my theories to Isabelle/HOL 2012 (worked like a charm) I was also trying out PIDE. I am quite happy with the IDE so far, once I figured out how to search for theorems, etc.
>> See the isar-ref manual for all commands. The 'help' command also gives you a complete list.
> Even more obvious: use the command completion. You type "find" and wait 300ms and get a selection of find commands. Same for "print" or whatever you please, e.g. "sl" for "sledgehammer".
> You can also modify the reactivity of the completion popup in the Plugin Options for SideKick in jEdit. (In Isabelle2012 it is a bit more ambitious than in Isabelle2011-1, but still not as aggressive as it can be for full virtuosity of jEdit experts.)
This archive was generated by a fusion of
Pipermail (Mailman edition) and