discontinued separate "pdf" archive -- since it is now relatively small compared to the main archive, there is no point to fragment things; adaptation replaces adaption (cf. 555b56b66fcf);
discontinued separate "pdf" archive -- since it is now relatively small compared to the main archive, there is no point to fragment things;
adaptation replaces adaption (cf. 555b56b66fcf);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle