add a mirror for the pdf doc (#572)

Release v1.2 (#337)

Release v1.0 (#186)

* Release v1.0

* Fix building on windows

small fixes

Release v0.9 (#124)

Release v0.8 (#112)

Release v0.7 (#98)

Release v0.6 (#45)

Release v0.5. (#24)

Release v0.4 (#16)