5 Commits (8eab534c9589bb3ebf670a5ca8c9c03f8bb8f356)

Author	SHA1	Message	Date
Dave Page	25b8a909b1	Update links in docs to https where possible, and fix a couple of broken/out of date ones.	2019-03-12 14:24:46 +00:00
Dave Page	8f1f04e5f3	Major doc cleanup: ... - Reformat source so it's wrapped. - Standardise markup. - Center images. - Restructure in various places to improve the indexing. - Remove duplicated Query Tool toolbar descriptions. - Ensure the structure works in both HTML and LaTeX.	2019-03-08 15:29:05 +00:00
Dave Page	f8b9a86e95	Include the license in the docs, and ensure it gets updated each year.	2019-03-07 15:12:12 +00:00
Akshay Joshi	1a6b6f61f7	Fix documentation indexing.	2018-06-15 09:14:12 +01:00
Susan Douglas	5051470bc7	Doc restructuring	2016-06-21 09:06:44 +01:00