[isabelle-dev] Missing AFP Entry

Gerwin Klein gerwin.klein at nicta.com.au
Thu Jan 5 22:16:35 CET 2012

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.


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

More information about the isabelle-dev mailing list