Updating footnotes and math formatting
Finished reformatting posts
Remove simple theme, and tweak build
Fixed links and using directory categories
Changing links to references
Fixing and validating links
Reviewing dead comments
Finished fixing links
Skip anchor checks in link verification
Remove some unused tools
Moving files around for categorisation
Tidying up last links and fabfile
Formatting comments
Fixing links and redirects
new post
robots.txt
Update theme from github