|
Making a Haskell plugin, request for advice
|
3
|
March 14, 2023
|
|
Maxima plugin responsiveness
|
3
|
March 13, 2023
|
|
Getting Guile 1.8.8 using the GNU Guix package manager
|
7
|
March 12, 2023
|
|
Happy Spring Festival! And plans about Mogan v1.1.2
|
15
|
March 12, 2023
|
|
Set Pasted Image to 0.8par and centered
|
8
|
March 10, 2023
|
|
Poll - wht do you use to insert functions curves inside tm documents?
|
5
|
March 9, 2023
|
|
Beamer is very laggy
|
33
|
March 7, 2023
|
|
Edit Definition environment to have non-italic text
|
18
|
March 6, 2023
|
|
How are graphics supposed to look like?
|
22
|
March 5, 2023
|
|
Exporting a c++ function to scheme
|
8
|
March 4, 2023
|
|
Paste from LaTeX via keyboard shortcuts
|
8
|
March 3, 2023
|
|
How to set the same padding in all rows of a table?
|
2
|
February 28, 2023
|
|
Can't insert new tags in table macro
|
7
|
February 27, 2023
|
|
Single-letter shortcuts not work in graphics mode
|
8
|
February 27, 2023
|
|
Keyboard shortcut non effective
|
7
|
February 26, 2023
|
|
Inserting line break in title
|
2
|
February 25, 2023
|
|
Could TeXmacs store source file in a readable format?
|
14
|
February 25, 2023
|
|
Template for a CV
|
15
|
May 11, 2022
|
|
Inserting page number in custom footer
|
4
|
February 25, 2023
|
|
Custom beamer style, presentation toolbar buttons disappear
|
3
|
February 20, 2023
|
|
Producing reference dependencies between environments
|
1
|
February 18, 2023
|
|
Importing tables from external files
|
3
|
February 17, 2023
|
|
Multline environment becomes array environment
|
2
|
February 17, 2023
|
|
Unable to fold back unfold inside macro
|
10
|
February 17, 2023
|
|
Creating a new list does not seem to work
|
19
|
February 16, 2023
|
|
Neptyne: spreadsheet programmable in Python — ideas for TeXmacs?
|
1
|
February 16, 2023
|
|
CJK support in vanilla TeXmacs
|
2
|
February 16, 2023
|
|
Texmacs cannot import references from bib file [solved]
|
5
|
February 16, 2023
|
|
A seminar on TeXmacs I am preparing - your opinions please
|
11
|
February 14, 2023
|
|
How to type script letters?
|
2
|
February 13, 2023
|
