[isabelle-dev] Missing AFP Entry
gerwin.klein at nicta.com.au
Thu Jan 5 22:16:35 CET 2012
it is back in the main tar file now. We had a slight confusion between releases at one of the last entries, but everything is back on track.
On 05/01/2012, at 11:07 PM, Christian STERNAGEL wrote:
> Hi there,
> somehow Efficient-Mergesort is missing from http://afp.sourceforge.net/release/afp-current.tar.gz, in an older local copy it is still there.
> I did not check whether any other entries are missing. Any ideas?
> best regards
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev