Bott indices#25

Open

stevengj wants to merge 5 commits intomasterfrom

Commits on Aug 3, 2017

Commits on Aug 25, 2017

Merge branch 'master' into bott
stevengj
committed

Commits on Sep 19, 2017

Fixes to bott.c (#29)

thchr
authored and
stevengj
committed