|
About the Summer of Code category
|
1
|
April 21, 2020
|
|
Project: Syntax highlighting for programming language
|
1
|
April 19, 2024
|
|
Project: Conversion from TeXmacs format to HTML and docx
|
7
|
April 16, 2024
|
|
Project: Add multi-tab display and switching functions
|
4
|
April 15, 2024
|
|
Proposal: OpenType math font support
|
9
|
April 9, 2024
|
|
Proposal: Pandoc support
|
4
|
April 9, 2024
|
|
Proposal: bi-directional link feature
|
9
|
April 6, 2024
|
|
Proposal: Syntax editing for program language
|
4
|
March 23, 2024
|
|
Proposal: Add Chrome-like tabs for TeXmacs
|
2
|
March 16, 2024
|
|
Proposal: TeXmacs template for university thesis
|
1
|
March 16, 2024
|
|
OSPP 2023 Final: bank info from students and mentors (before 11/20)
|
3
|
November 17, 2023
|
|
OSPP SoC Stage 8: Evaluations –PR/MR Merge and Mentor Final Term Review
|
9
|
October 19, 2023
|
|
Proposal: mechanism to append documents to and augment the generated PDF
|
38
|
September 28, 2023
|
|
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
|
|
Summer of Code Stage 2 (2023/04/04~2023/04/28)
|
22
|
April 27, 2023
|
|
Project (Draft): OpenType math font support
|
1
|
April 22, 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
|
|
Are there any good methods to help developing scheme modules?
|
4
|
February 20, 2021
|
