[isabelle-dev] AFP config files?

[Lars Hupel]

> 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