[isabelle-dev] Towards the Isabelle2014 release

[Lars Noschinski]

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.
Nice!
> I don't think there's a testboard equivalent for a simultaneous
> Isabelle/AFP change,
That is correct.

  -- Lars