Re: [isabelle] Different behavior in Jedit and Emacs

Björn Bartels wrote:
> Hi all,
> we just came across  the following problem when using the datatype command. The following datatype definition works when using Jedit but does not work when using Emacs as interface. In the previous distribution the example used to work with Emacs as well.

Hi Björn,

thanks for reporting this. The problem has now been fixed in the current
repository version of Isabelle, see


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