Re: [isabelle-dev] AFP config files?

[Gerwin Klein]

This specific entry currently exists only in devel. Release is clean.

Cheers,
Gerwin



> On 23.06.2016, at 17:54, Lars Hupel  wrote:
>
>> 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




The information in this e-mail may be confidential and subject to legal 
professional privilege and/or copyright. National ICT Australia Limited accepts 
no liability for any damage caused by this email or its attachments.
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Re: [isabelle-dev] AFP config files?

[Manuel Eberl]

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