Re: [isabelle] AFP instructions



> On 25 Feb 2021, at 19:03, Stepan Holub <holub at karlin.mff.cuni.cz> wrote:
> 
>> I'm not saying the current version is ideal, but it has been fairly quiet on this topic since we changed it to that. Of course that could also be because everyone is even more confused and is just giving up.
> 
> Giving up was indeed my reaction for quite some time. For two reasons: 1. I rarely use command line, and I never used echo to edit any file (this may be embarrassing confession, I am aware) 2. I had no idea how to figure out "/cygdrive/c/..."
> 
> So unless users like me are not supposed to use AFP, the instruction is useless for them.

Absolutely happy to add the Windows example now that I know what it should be.

Cheers,
Gerwin





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