Failed to load latest commit information.

Type

Name

Latest commit message

Commit time

docs

TeXmacs output and error on Windows (#54 )

September 27, 2023 22:38

misc

Add favicon

November 11, 2020 12:59

resources

Fix typo in article and interline in CSS

May 5, 2021 12:30

src

TeXmacs output and error on Windows (#54 )

September 27, 2023 22:38

.gitignore

Update .gitignore

November 20, 2020 17:58

.nojekyll

Avoid using Jekyll

November 8, 2020 15:46

LICENSE

Initial commit

November 8, 2020 15:16

README.md

Add suggestions for resolving git conflicts (#53 )

June 10, 2023 19:00

git-suggestions.md

Add suggestions for resolving git conflicts (#53 )

June 10, 2023 19:00

index.html

Tweaking

November 11, 2020 21:30

notes-tools.scm

Add example documents

April 5, 2021 11:08

update-website

macro-editor:add abstract; regenerate website (#38 )

March 17, 2021 21:57