Re: [isabelle] xemacs



> Makarius wrote:
> Right now we are working on some new prover interface
> technology 
> 

Will it have support for mathematical notation (symbols) at
least on the level ProofGeneral/XEmacs provides?  

Slawekk


      





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