### Partial major upgrade of the HELM/MoWGLI Web interface. ###
###############################################################
WARNING: requires the new UWOBO profiles.
Known bugs:
1. the JSMmenu for graphs is broken
2. the configuration stuff is utterly broken: you should rely on
the default configuration
3. only HTML has been tested (MathML and ProofTrees are broken for
sure)
4. dead code everywhere (e.g. almost all the existent
javascript code; several tokens in links_library.xsl)