Re: [isabelle] Isabelle2015-RC0 available for testing
On Mon, 13 Apr 2015, Christian Sternagel wrote:
It would be nice to have a concrete version (i.e., changeset id) of the
AFP to test against, since most of my work is built on top of the AFP.
Unfortunately, I don't know any corresponding AFP version. I had so many
unexpected problems to make the Isabelle2015-RC0 at all that I forgot to
relate it to AFP formally --- and the snapshot itself is semiformal
After some weeks of relative quiet and stable repositories for Isabelle
and AFP, the rumor of the coming release deadline has aroused many
last-minute changes. I hope that towards the end of the week we can see a
truely stable Isabelle2015-RC1 together with a working AFP.
Otherwise I can only test the RC against contrived examples.
Maybe it is better to try with arbitrary repository snapshots at the
moment, shooting blindly into the erratic movements.
This archive was generated by a fusion of
Pipermail (Mailman edition) and