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 > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
