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