firedrakeproject/firedrake — pull request #20 by wence- (2013-10-10 09:42:34+00:00)
Title: Update docs

Fix location of firedrake source code, and make the version number in firedrake docs match the actual version of firedrake. Someone else will have to push this to the website once merged, because I don't seem to be able to build all the doctree successfully.