[isabelle-dev] Isabelle2013-2 release

[Lars Hupel]

> In an earlier message on this thread, you have posted a patch. 
> However,
> I cannot apply this patch to the development repository, nor does the
> revision "db3d3d99c69d", which your patch refers to, exist.

 I suppose db3d3d99c69d is the id of the patch itself, and it has 
 already been applied on top of Isabelle/75623b4d6251 in the release 
 repository: 
 <https://bitbucket.org/isabelle_project/isabelle-release/commits/all>