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