Interesting! I didn't knew the Tioga editor. All these pioneering work is really inspiring! Our goals fits very well into the paradigm of active documents and w

Interesting! I didn't knew the Tioga editor. All these pioneering work is really inspiring! Our goals fits very well into the paradigm of active documents and we have already many features implemented and beautifully typesetted : https://www.texmacs.org/joris/icms14/icms14.pdf https://www.texmacs.org/joris/icms14/icms14.pdf