[isabelle-dev] AFP config files?

Gerwin Klein Gerwin.Klein at nicta.com.au
Fri Jun 24 03:09:47 CEST 2016

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


> On 23.06.2016, at 17:54, Lars Hupel <hupel at in.tum.de> 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-dev at 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.

More information about the isabelle-dev mailing list