../ LICENCE 01-Jul-2024 19:35 35149 README.md 01-Jul-2024 19:35 611 easydoctex-mode.el 01-Jul-2024 19:35 6004 edtx2dtx.1 01-Jul-2024 19:35 1532 edtx2dtx.pl 01-Jul-2024 19:35 2836