../ README.txt 10-Jul-2023 19:17 6098 curve2e-manual.pdf 05-Jul-2023 22:38 628856 curve2e-manual.tex 05-Jul-2023 22:38 88425 curve2e.dtx 04-Jul-2023 23:11 189093 curve2e.pdf 04-Jul-2023 23:11 697772