Filename Modification time Size README 2026-11-10 01:58 CET 1883 B docmfp.dtx 2026-11-10 01:58 CET 26 KiB docmfp.ins 2026-11-10 01:58 CET 2464 B docmfp.pdf 2026-11-10 01:58 CET 269 KiB