Re: [isabelle] Installation Isabelle : help needed



> There are  also these warning about the mule-packages ( what is mule ???) 
> that I receive when starting Isabelle /Xemacs :

There are two versions of xemacs, with and without mule (MUlti-Lingual
Emacs). When you install xemacs, you need to beware of this. Hence our
installation hint "with mule support". Without mule, you can get very strange
effects in ProofGeneral.

Tobias





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