Re: [isabelle] New commands in Isabelle2012
On Saturday, June 16, 2012 at 16:46:04 (+0100), Omar Montaño Rivas wrote:
> > If you use jEdit then the proof-script below will work. The
> > difference is that the theory header now needs a declaration
> > like
> > keywords "foobar" :: thy_decl
> Yes, now it works in ProofGeneral. Thank you!
I took the opportunity to update this section.
If you happen to have any feedback, I am grateful
to receive it.
This archive was generated by a fusion of
Pipermail (Mailman edition) and