|
Pygments plugin
|
13
|
May 9, 2023
|
|
How to delete an unroll environment?
|
3
|
May 9, 2023
|
|
Is it possible to convert documents from the command-line without opening texmacs?
|
9
|
May 9, 2023
|
|
Static website management with TeXmacs
|
3
|
May 8, 2023
|
|
Bing Chat takes social media comments on TeXmacs seriously
|
1
|
May 6, 2023
|
|
How long is PDF export supposed to take?
|
20
|
May 6, 2023
|
|
New submenus environments
|
6
|
May 5, 2023
|
|
Project: Mogan Draw on WASM
|
1
|
April 21, 2023
|
|
How do I make wide-framed-colored extend to more than one page?
|
3
|
May 1, 2023
|
|
Issue with coloring equations
|
5
|
April 30, 2023
|
|
TeXmacs Scheme: Some questions on the current situation
|
30
|
April 30, 2023
|
|
Project: Mechanism to append documents to and augment the PDF generated by GNU TeXmacs
|
1
|
April 22, 2023
|
|
Building TeXmacs glibc errors
|
3
|
April 27, 2023
|
|
Build guide correction
|
5
|
April 27, 2023
|
|
Structured Search
|
6
|
April 27, 2023
|
|
Install TeXmacs with Maxima on mac with M1
|
71
|
April 27, 2023
|
|
Summer of Code Stage 2 (2023/04/04~2023/04/28)
|
22
|
April 27, 2023
|
|
\underbrace question
|
3
|
April 26, 2023
|
|
Ubuntu 22.04 texmacs 2.1.2 Segmentation Fault after inster / session
|
7
|
April 25, 2023
|
|
Page header and indentation
|
4
|
April 24, 2023
|
|
Cursor trace if cursor is drawn too big
|
1
|
April 23, 2023
|
|
Project (Draft): Implement `Wrap Text around figures` for the GNU TeXmacs typesetter
|
1
|
April 21, 2023
|
|
Project Templates for OSPP
|
1
|
April 21, 2023
|
|
Can't see URL in IEEE citation
|
2
|
April 21, 2023
|
|
Absolute sign too short with Stix font
|
8
|
April 20, 2023
|
|
Proposal: (p2p) collaborative Mogan/TeXmacs
|
11
|
April 20, 2023
|
|
Include a text file in texmacs and be able to edit it automatically
|
2
|
April 20, 2023
|
|
Proposal: Mogan OS and the natural language
|
1
|
April 19, 2023
|
|
Typed bindings as an alternative approach to smart-ref
|
9
|
April 18, 2023
|
|
How can TeXmacs/Mogan support ChatGPT given that it is banned in several countries?
|
5
|
April 16, 2023
|
