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