TeXmacs 1.99.14 released. Take a look at this research paper exported to HTMLtexmacs.org141 pointsamichail6 years ago