Commit 8862ca830edc727b97bb1f62c2e3be2a25ba2326

Steffen Jaeckel 2019-10-27T16:29:30

fix index added new API functions found by `helper.pl -d` removed old API functions found via ```sh awk -F',' '/item/ {print $1}' doc/bn.ind | \ awk '/mp/ {print $2}' | \ sed -e 's/\\//g' | \ xargs -I {} sh -c "grep -q {} tommath.h || echo {}" ```