Re: [isabelle] function (tailrec,sequential) fails



HI,

Am Dienstag, den 31.08.2010, 10:19 +0200 schrieb Alexander Krauss:
> I just pushed a quick fix, which seems to help here, and also makes your 
> real example go through:
> 
> http://isabelle.in.tum.de/repos/isabelle/rev/39db63c45683
> 
> The patch also works for the Isabelle2009-2 release.
> 
> Hope this helps...

thanks. Now a beginner question: Do you have to rebuild Isabelle to have
this fix, or can I just patch the file and it will work?

Thanks,
Joachim

-- 
Joachim "nomeata" Breitner
  mail: mail at joachim-breitner.de | ICQ# 74513189 | GPG-Key: 4743206C
  JID: nomeata at joachim-breitner.de | http://www.joachim-breitner.de/
  Debian Developer: nomeata at debian.org

Attachment: signature.asc
Description: This is a digitally signed message part



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