Re: [isabelle] printing of \/ in subgoals
Reto Kramer wrote:
I'm puzzled that in the ProofGeneral front-end, I enjoy so much, the
\<or> (well the \/ xsymbol) is only displayed for the term, but not the
proof-state window for the lemma below.
That usually happens when you use the no-mule version of xemacs together
with x-symbol. I don't know of any other fix than using xemacs-mule or
not using x-symbol.
This archive was generated by a fusion of
Pipermail (Mailman edition) and