Re: [isabelle] ProofGeneral font-lock-mode and antiquoatations
> Maybe Christian can point out a version (with changeset id) of the
> programming tutorial that works with the real Isabelle2009 version.
Yes, of course I can do that to whomever wants to have this
information (this needs a bit digging and testing). Just send
me an email. I made also a similar pointer on the webpage.
This archive was generated by a fusion of
Pipermail (Mailman edition) and