The TeXmacs user interface and structured text editing
Channel: TeXmacs Videos
Date: 2019-04-25

In this demo, we further expand on the graphical user interface of GNU TeXmacs. We also demonstrate various structured editing operations, which are able to take advantage of the rich structure of TeXmacs documents.