[isabelle-dev] Towards the Isabelle2014 release

Lars Noschinski noschinl at in.tum.de
Wed Jun 11 10:19:21 CEST 2014

On 11.06.2014 06:56, Thomas Sewell wrote:
> OK, I've finished the needed adjustments the AFP proofs which were
> affected by the hypsubst change.
> The result is fairly encouraging: the AFP is *huge* and the diffstat
> of the required changes is:
>  63 files changed, 134 insertions(+), 81 deletions(-)
> Not an especially high percentage of changes in the end.
> I don't think there's a testboard equivalent for a simultaneous
> Isabelle/AFP change,
That is correct.

  -- Lars

More information about the isabelle-dev mailing list