[isabelle] xemacs

Makarius wrote:

> Please excuse the ugly look-and-feel of XEmacs, we are trying hard to get
> rid of it in the near future.

I'm using fedora 10, the built-in xemacs did not work, gnu emacs did.

What do you mean by getting rid of xemacs? Is the eclipse plugin on the way?

- Gergely

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