[isabelle] AFP instructions



Hello,

concerning the successful launch of AFP2021:

maybe, the instructions on
https://www.isa-afp.org/using.html#1
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
/cygdrive/c/afp/thys
to the file
C:\Users\YourUserName\.isabelle\Isabelle2021\ROOTS

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

Best regards

Stepan

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