[isabelle-dev] Towards the Isabelle2014 release

[Makarius]

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.


 	Makarius