Re: [isabelle] AFP installation instructions


as usually, the problem becomes clear the moment the mail is sent: When
extracting the release
( as root it
is not readable for other users (and using Isabelle/jEdit no helpful
error message was shown).

After fixing the permissions with "chmod a+Xr -R afp-2014-11-03/" it

Nevertheless I suggest to unify
and to use the same
mechanism (if they are indeed equivalent).

Sorry for the noise,

Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter

Attachment: signature.asc
Description: This is a digitally signed message part

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