On Wed, 11 Jun 2014, Gerwin Klein wrote:
On 11.06.2014, at 2:56 pm, Thomas Sewell <thomas.sew...@nicta.com.au> wrote:
Gerwin will push the isabelle hypsubst change to the testboard now (assuming he
can remember how).
He could and did.
Has that change been landed? Which changeset IDs are relevant?
I don't have any special expertise in this area, but merely want to make
sure that we can move on towards the release.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev