Re: [isabelle] ProofGeneral font-lock-mode and antiquoatations

Makarius writes:
 > 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.

Best wishes,

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