|
Ceil and floor functions in TeXmacs?
|
2
|
January 15, 2023
|
|
Argument accessibility in an xmacro
|
1
|
January 13, 2023
|
|
Export file contaning code blocks to LaTeX
|
6
|
January 13, 2023
|
|
Numbering array of equations
|
4
|
January 11, 2023
|
|
Is there a way to have a figure next to text?
|
5
|
January 11, 2023
|
|
Compiling Mogan under Android
|
9
|
January 11, 2023
|
|
Inserting a newline in beamer titles and how to center them
|
15
|
January 10, 2023
|
|
Aligned descriptions
|
2
|
January 10, 2023
|
|
Could you answer TeXmacs questions in these Hacker News comments?
|
1
|
January 8, 2023
|
|
File locks in TeXmacs
|
16
|
January 4, 2023
|
|
How to correct translation errors?
|
11
|
January 8, 2023
|
|
Turkish Language
|
4
|
January 8, 2023
|
|
Changing cursor style
|
5
|
January 7, 2023
|
|
Do mathematicians who are also programmers appreciate TeXmacs more?
|
1
|
January 6, 2023
|
|
Newcomer questions about TeXmacs
|
13
|
January 6, 2023
|
|
A very tiny vim in Texmacs
|
19
|
January 6, 2023
|
|
Macaulay2 problem
|
3
|
January 5, 2023
|
|
Just switched from CMake to xmake for Mogan Editor
|
7
|
January 3, 2023
|
|
Regarding the input and output of Unicode combining diacritics
|
4
|
January 1, 2023
|
|
Why does texmacs use cpu resources when idle?
|
22
|
January 1, 2023
|
|
Mogan v1.1.2 alpha4: auto packaging via Github
|
1
|
December 31, 2022
|
|
Mogan 1.1.0: the faster GNU TeXmacs
|
19
|
December 31, 2022
|
|
"The Jolly Writer" book on front page of Hacker News
|
3
|
December 31, 2022
|
|
[DOC] Step by step guide to make a debian package for GNU Guile 1.8.8
|
8
|
December 31, 2022
|
|
Compiling native Mac M1 version
|
9
|
December 30, 2022
|
|
Could you help answer TeXmacs questions for this Hacker News post?
|
1
|
December 30, 2022
|
|
Mogan Editor v1.1.3 Roadmap
|
4
|
December 30, 2022
|
|
Idea: Turn Knuth's 2022 Christmas lecture into a TeXmacs presentation
|
1
|
December 26, 2022
|
|
The Jolly Writer is free available!
|
4
|
December 26, 2022
|
|
The Jolly Writer availability
|
6
|
December 26, 2022
|
