Uncategorized


Topic Replies Activity
Interesting community sites

The TeXmacs community manages two containers of TeXmacs-related content. texmacs/tm-forge : a repository of user contributed content for TeXmacs: examples, style files, templates, macros, etc… You can find it here: C…

3 April 10, 2021
Welcome to the GNU TeXmacs Forum 2 May 23, 2019
Slow editing of large papers 2 August 12, 2022
TeXmacs crashes when selecting semantically 9 August 9, 2022
Html with color - flush_any("html:" + my_html_content) 3 August 7, 2022
Would sticky scrolling make sense in TeXmacs? 2 August 5, 2022
Beamer is very laggy 25 August 2, 2022
How to repair corrput files that still has their content intact? 9 July 25, 2022
Why not market TeXmacs by porting it to Carbon with the help of Google devs? 3 July 24, 2022
Why not ask retired mathematicians for feedback on TeXmacs? 1 July 23, 2022
"Specfic" tags do not allow multiline input 5 July 22, 2022
Math operators as objects, subscript rendering, and a mild copy-pasting bug 2 July 18, 2022
Ubuntu repo for 22.04? 4 July 13, 2022
First bullet point hidden in presentation 3 July 11, 2022
Automatic labels 5 July 11, 2022
Set default tabular alignment 4 July 11, 2022
How to define a shortcut to embold a selected word 3 July 9, 2022
Zoom with touchpad? 5 July 1, 2022
Problems of excessive length in figure captions 3 June 24, 2022
How to type "Hölder"? 8 June 18, 2022
How are graphics supposed to look like? 9 June 15, 2022
Does TeXmacs beamer have a way to make images "appear" and "disappear"? 21 June 11, 2022
Best way to start customizing Beamer slides 29 June 5, 2022
How to include or exclude the correct answer when exporting exam document to pdf? 2 June 2, 2022
An implementation of Org mode without the dependency of Emacs 1 May 28, 2022
Hacker News thread 5 May 28, 2022
Parenthesis auto matching of formula occupying multi lines 11 May 25, 2022
Does Apple Silicon open up new opportunities for TeXmacs? 29 May 23, 2022
Unhiding tags using keyboard 2 May 21, 2022
How to give a section a custom number? 3 May 19, 2022