[isabelle] AFP instructions


concerning the successful launch of AFP2021:

maybe, the instructions on
could be made less hostile towards Windows users. The instruction for Windows, to my best knowledge, could be:

If you are using Isabelle2021, and have downloaded your AFP directory to c:\afp
you should add the line
to the file

Also, the quotation marks are no more needed for the import, right?

Best regards


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.