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.
On 23/06/16 09:49, Florian Haftmann wrote:
Dear AFP maintainers,
in 79fb78da1ef0 there exists exactly one file named "config", namely
./thys/Catalan_Numbers/config
All the others I gone.
I suspect this is an accidental left-over.
Cheers,
Florian
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev