[isabelle-dev] AFP config files?

Manuel Eberl eberlm at in.tum.de
Thu Jun 23 09:51:30 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.


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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>



More information about the isabelle-dev mailing list