Hi. There is a Wiki link on the left side menu of the web page.
The access is (currently?) very slow (and there is of course no content). Looking at the Wiki main page for [Math] and [Lang], I don't see anything that couldn't be handled by the main site and/or JIRA. Is it still useful to have (quite possibly contradicting and outdated) information repeated over there? Is it OK to remove the link from the [Rng] web page? Regards, Gilles --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
