|
TeXmacs repository on Debian 12 Bookworm
|
2
|
October 9, 2023
|
|
Mogan 1.2.x plan: from Mogan Editor to Mogan STEM Suite
|
1
|
October 2, 2023
|
|
TeXmacs under Wayland
|
10
|
October 2, 2023
|
|
How to keep figure names when exporting to latex?
|
8
|
September 30, 2023
|
|
TeXmacs window sizes suddenly too large on MS Windows 7 32-bit
|
5
|
September 30, 2023
|
|
Mogan Editor v1.1.6: Happy Mid-Autumn Festival
|
1
|
September 28, 2023
|
|
Unwanted blank line in List of Figures after entry for a Caption-detailed figure with Label
|
16
|
September 28, 2023
|
|
Mogan Research 1.2.x nightly on wasm based on Qt 6.5.2
|
1
|
September 28, 2023
|
|
Proposal: mechanism to append documents to and augment the generated PDF
|
38
|
September 28, 2023
|
|
Meta key navigation in emacs look and feel
|
4
|
September 23, 2023
|
|
How to add Figure numbering to List of Figures?
|
5
|
September 26, 2023
|
|
File locks in TeXmacs
|
22
|
September 24, 2023
|
|
List of figures: don't capture the whole caption please
|
2
|
September 23, 2023
|
|
How to exclude a section from the TOC?
|
4
|
September 20, 2023
|
|
Option of not opening a new empty document on startup
|
2
|
September 17, 2023
|
|
Problems of excessive length in figure captions
|
13
|
September 8, 2023
|
|
Numbering items of a list, with a prefix containig the number of the section in which the list is
|
2
|
September 4, 2023
|
|
Plugin professor and others
|
3
|
September 4, 2023
|
|
Displaying file tree when saving
|
5
|
September 4, 2023
|
|
What changes to TeXmacs are backported to Mogan?
|
4
|
September 2, 2023
|
|
Multiple column LaTeX table export
|
2
|
September 1, 2023
|
|
Texmacs beamer order change
|
11
|
August 26, 2023
|
|
TeXmacs output on Windows
|
1
|
August 25, 2023
|
|
How to use options in tm-define?
|
3
|
August 22, 2023
|
|
Mogan Editor v1.1.5 released
|
2
|
August 21, 2023
|
|
Mogan Editor v1.1.4 released
|
9
|
August 21, 2023
|
|
Can we write Markdown type source code block in TeXmacs
|
1
|
August 20, 2023
|
|
LaTeX equations in html import not rendering
|
45
|
August 17, 2023
|
|
How to get the total number of pages?
|
9
|
August 14, 2023
|
|
Multiple columns in screen mode
|
4
|
August 9, 2023
|