[isabelle-dev] AFP config files?
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
On 23/06/16 09:49, Florian Haftmann wrote:
> Dear AFP maintainers,
> in 79fb78da1ef0 there exists exactly one file named "config", namely
> All the others I gone.
> I suspect this is an accidental left-over.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev