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,
Christian





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