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.