[isabelle-dev] AFP config files?

Lars Hupel hupel at in.tum.de
Thu Jun 23 09:54:12 CEST 2016

> 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.


More information about the isabelle-dev mailing list