[isabelle-dev] Isabelle2013-2 release
hupel at in.tum.de
Thu Nov 21 13:13:17 CET 2013
> In an earlier message on this thread, you have posted a patch.
> 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
More information about the isabelle-dev