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 MHonArc.