Summer of Code Stage 4: Project Application Review
|
15
|
June 12, 2023
|
Summer of Code Stage 3: Student Registration, Mentor Communication, and Project Application
|
5
|
June 4, 2023
|
Project: Mogan Draw on WASM
|
1
|
April 21, 2023
|
Project: Mechanism to append documents to and augment the PDF generated by GNU TeXmacs
|
1
|
April 22, 2023
|
Build guide correction
|
5
|
April 27, 2023
|
Summer of Code Stage 2 (2023/04/04~2023/04/28)
|
22
|
April 27, 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
|
Proposal: (p2p) collaborative Mogan/TeXmacs
|
11
|
April 20, 2023
|
Proposal: Mogan OS and the natural language
|
1
|
April 19, 2023
|
Proposal: Mogan Draw
|
3
|
April 10, 2023
|
Summer for Code for XmacsLabs in 2023
|
31
|
April 6, 2023
|
Introduction video of our community for Summer of Code
|
1
|
April 6, 2023
|
Proposal: Re-impl `TM->PS/PDF` in modern programming language
|
6
|
April 4, 2023
|
Proposal: A new UI for the Wasm port of Mogan
|
1
|
April 4, 2023
|
RTL support in texmacs
|
3
|
March 25, 2023
|
[Haskell] GHCi plugin
|
1
|
March 15, 2023
|
Making a Haskell plugin, request for advice
|
3
|
March 14, 2023
|
Getting Guile 1.8.8 using the GNU Guix package manager
|
7
|
March 12, 2023
|
Introducing Vau
|
13
|
January 27, 2023
|
[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
|
Will you switch from TeXmacs to Mogan due to its faster editing speed?
|
30
|
December 26, 2022
|
Integrate Mathics 'MakeBoxes' layout into TeXmacs as a plugin
|
3
|
December 20, 2022
|
Jeroen is now a moderator of the GNU TeXmacs forum
|
1
|
June 18, 2022
|
New moderators: xuyiqi1 and pireddag
|
2
|
December 14, 2022
|
How to add column in align?
|
3
|
December 10, 2022
|
Mogan/TeXmacs on Hacker News... can you answer their questions?
|
9
|
November 11, 2022
|
TeXmacs do not answer
|
8
|
October 30, 2022
|
Issue with animation on Windows (Solved)
|
3
|
October 28, 2022
|