|
Is TeXmacs interesting from a software engineering and/or computer science point of view?
|
1
|
August 16, 2021
|
|
Custom keymaps in math mode
|
10
|
August 7, 2021
|
|
Problem with \aa, \cc, and \cC
|
4
|
August 4, 2021
|
|
Custom equation numbering
|
3
|
August 4, 2021
|
|
Debugging error messages
|
2
|
July 28, 2021
|
|
Idea: A way to embed TeXmacs documents in source code comments
|
1
|
July 24, 2021
|
|
Folding computation
|
5
|
July 22, 2021
|
|
Multiple windows for the same file
|
17
|
July 19, 2021
|
|
Weird behavior in formula cursor navigation
|
4
|
July 19, 2021
|
|
Lint for Math — making WYSIWYG more compelling?
|
5
|
July 19, 2021
|
|
Spell check trigger segmentation fault
|
4
|
July 17, 2021
|
|
Inline vectors and matrices
|
3
|
July 15, 2021
|
|
Resizing in a manner similar to mathclap
|
3
|
July 15, 2021
|
|
Given that some of the TeXmacs developers are mathematicians, why don't they start a math journal that only accepts TeXmacs submissions?
|
1
|
July 14, 2021
|
|
Is TeXmacs too advanced for collaborative development?
|
2
|
July 13, 2021
|
|
Modify short key for kbd-right trigger error
|
7
|
July 12, 2021
|
|
Inserting <hrule> in the editor
|
6
|
July 10, 2021
|
|
Forbidden You don't have permission to access
|
3
|
July 9, 2021
|
|
HTML export vs Mozilla's PDF.js
|
2
|
July 8, 2021
|
|
Should TeXmacs packages be fundamentally different from LaTeX packages?
|
10
|
July 7, 2021
|
|
Documentation and discoverability of packages
|
6
|
July 6, 2021
|
|
Relational Algebra join/latex \bowtie character
|
8
|
July 6, 2021
|
|
Std-error, Typesetting failure, resetting to empty document
|
8
|
July 5, 2021
|
|
Feature Request: Spell Check
|
6
|
July 5, 2021
|
|
Idea: Fund TeXmacs development via an OpenAI copilot service
|
1
|
June 30, 2021
|
|
An experiment with UI icons
|
15
|
June 28, 2021
|
|
Idea: Transform lecture notes by adding a real-time bidirectional notes feature to TeXmacs
|
1
|
June 27, 2021
|
|
Problem installing Julia plugin in TeXmacs (Windows)
|
76
|
June 27, 2021
|
|
Computer assistant proofs
|
5
|
June 26, 2021
|
|
Are colors customizable? (Partially Colorblind)
|
4
|
June 25, 2021
|
