[isabelle-dev] AFP config files?
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
They have been superseded by the "notify" configuration in the
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