Logo
Explore Help
Sign In
phc/lean4game
Watch 6
Star 1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
dev
lean4game/doc
T
History
Jon Eugster 8b4215e407 update documentation about opening local notations #216
2024-06-12 11:50:08 +02:00
..
changelog.md
fix: case insensitive url in local store #183
2024-01-18 14:57:50 +01:00
client.md
add search parameter to set language #220
2024-05-17 00:17:44 +02:00
create_game.md
update documentation about opening local notations #216
2024-06-12 11:50:08 +02:00
DOCUMENTATION.md
Update doc/DOCUMENTATION.md
2024-01-22 12:44:12 +01:00
hints.md
add support for external images in chat #235
2024-06-11 00:25:50 +02:00
npm_scripts.md
Update npm_scripts.md
2023-10-26 17:19:40 +02:00
publish_game.md
Fix minor typos
2024-01-20 16:15:15 -05:00
running_locally.md
Fix link references
2024-01-20 16:02:46 -05:00
server.md
Fix minor typos
2024-01-20 16:15:15 -05:00
translate.md
Update translate.md
2024-04-10 16:17:44 +02:00
troubleshoot.md
Update troubleshoot.md
2024-02-16 10:57:02 +01:00
update_game.md
Update update_game.md
2023-12-18 16:20:26 +01:00
writing_exercises.md
internally rename lemma to theorem #108
2024-06-11 23:00:27 +02:00
Powered by Gitea Version: 1.27.2 Page: 313ms Template: 5ms
Auto
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API