../ LICENCE 03-May-2024 19:34 35149 README.md 03-May-2024 19:34 611 easydoctex-mode.el 03-May-2024 19:34 6004 edtx2dtx.1 03-May-2024 19:34 1532 edtx2dtx.pl 03-May-2024 19:34 2836