../ figures/ 12-Feb-2018 17:24 - dev-manual.html 03-Jun-2022 11:10 994821 dev-manual.pdf 12-Feb-2018 17:24 2072477 dev-style.css 03-Jun-2022 11:10 13863