[isabelle] afp_build in RC2
it is now the second time that I got
### I/O error:
(No such file or directory)
### Browser info: failed to update session index of
when starting "isabelle afp_build some-session". But this error is
nondeterministic. Both times, when issuing the command again, it
succeeded (and most of the time when I use afp_build, I do not get this
error at all).
Just reporting something odd.
PS: It might be just a coincidence that I got this with afp_build, maybe
it can also happen with plain build.
This archive was generated by a fusion of
Pipermail (Mailman edition) and