This specific entry currently exists only in devel. Release is clean. Cheers, Gerwin
> On 23.06.2016, at 17:54, Lars Hupel <hu...@in.tum.de> wrote: > >> This is my entry. I submitted it a few days ago, and I included the >> config file in my submission. I was not aware that those don't exist >> anymore. > > They have been superseded by the "notify" configuration in the > "metadata" file. > > If one AFP maintainer could please delete "thys/Catalan_Numbers/config" > in stable AFP, that would be much appreciated. > > Cheers > Lars > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
