/Master/texmf-dist/source/latex/proof-at-the-end/
../
proof-at-the-end.dtx
proof-at-the-end.ins