[isabelle-dev] Towards the Isabelle2014 release

Makarius 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 mailing list