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



Christian Doczkal writes:

 > > My Xemacs does not choke on 
 > > the original
 > > 
 > >   @{text "(op *)"}
 > 
 > Neither does (my) isabelle make 
 > (Isabelle repository snapshot 228905e02350 (23-Jul-2009))

This very much hints at a problem with Emacs/ProofGeneral, 
since when invoked via make the source code is directly 
fed into Isabelle. In the file below, all incarnations
of "(op *)" are valid instances of Isabelle input. Maybe
this helps to find out what the problem is.

Christian

Attachment: Times.thy
Description: Binary data



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