Re: [isabelle] [install] font-problem



PS This might actually be a side effect of encoding systems used for buffers in recent XEmacs versions, rather than a bug. If anyone can come up with a better fix than mine, I'd be grateful.






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