> 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
