3 Commits (cc55c8db898f098361173e8058f8aef6e6372a55)

Author	SHA1	Message	Date
Dave Page	e4bf52f355	Don't distinguish between issue types in their URL text.	2019-07-05 11:38:12 +01: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	405de59298	Fix name of release notes.	2018-01-10 10:45:29 +00:00