[isabelle-dev] [release] IsarImplementation
makarius at sketis.net
Fri Jan 21 17:45:13 CET 2011
On Fri, 21 Jan 2011, Florian Haftmann wrote:
> By chance I discovered that the Isar Implementation Manual in the
> release candidate is outdated and does not build from source.
OK, see http://isabelle.in.tum.de/repos/isabelle-release/rev/55b16bd82142
I am still confused why isatest fails due to a missing ZF image, and why I
did not spot the problem when I did a manual test of the manuals at that
It shows again that last-minute changes (like what I did with
Named_Target.init) will almost inevitable introduce last-minute problems.
It also shows that we have accumulated quite a bit of complexity in the
This is another call to do some testing of
More information about the isabelle-dev