../ README.txt 10-Jul-2023 11:17 6098 curve2e-manual.pdf 05-Jul-2023 14:38 614K curve2e-manual.tex 05-Jul-2023 14:38 86K curve2e.dtx 04-Jul-2023 15:11 185K curve2e.pdf 04-Jul-2023 15:11 681K