Welcome to the QED wiki This is the wiki for the QED group. It is used to exchange information, advice, tips, brief reports, publications, ... everything from th...
QED Web Preferences The following settings are web preferences of the QED web. These preferences overwrite the site level preferences in . and , and can be ov...