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.


-- 
Gruß
Christian Doczkal

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



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