[isabelle-dev] Towards the Isabelle2014 release
makarius at sketis.net
Mon Jun 30 13:56:59 CEST 2014
On Wed, 11 Jun 2014, Gerwin Klein wrote:
> On 11.06.2014, at 2:56 pm, Thomas Sewell <thomas.sewell at 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.
More information about the isabelle-dev