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

  http://isabelle.in.tum.de/repos/isabelle/rev/fd21bbcbe61b

Greetings,
Stefan






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