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