How to download sax and dotty pdf