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

Dear Christian Urban

> I am not sure whether this is also a problem with Emacs
> and parsing of comments. It is possible to write
>   @{text "(op * )"}
> but it produces an ugly space in front of the parenthesis, 
> which I would like to avoid. My Xemacs does not choke on 
> the original
>   @{text "(op *)"}

Neither does (my) isabelle make 
(Isabelle repository snapshot 228905e02350 (23-Jul-2009))

> Would you be able to test, for example by trying out different
> emacses, where the problem comes from?

I tried but the XEmacs package on Ubuntu seems to be totally broken.

Christian Doczkal

Attachment: smime.p7s
Description: S/MIME cryptographic signature

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