[isabelle-dev] Missing AFP Entry

[Gerwin Klein]

Hi Chris,

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.

Cheers,
Gerwin

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
> 
> chris
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>