> The design space has been very rapidly moving towards online, live collaboration tools TeXmacs has an online collaboration tool, although as far as I know it

> The design space has been very rapidly moving towards online, live collaboration tools TeXmacs has an online collaboration tool, although as far as I know it is still experimental :-)