edin1/bok2tex archive