9 Commits

Author	SHA1	Message	Date
Akshay Joshi	98184e5835	Update copyright notices for 2023	2023-01-02 11:53:55 +05:30
Akshay Joshi	2786f7ac5a	Update copyright notices for 2022	2022-01-04 13:54:25 +05:30
Akshay Joshi	b372f08a59	Update copyright notices for 2021	2021-01-04 15:34:45 +05:30
Dave Page	01c7636c75	Update copyright notices for 2020.	2020-01-02 14:43:50 +00:00
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