joneugster
|
7ad23dab24
|
work on importing
|
1 year ago |
|
joneugster
|
89e19cc019
|
update lean4web and npm packages
|
1 year ago |
|
joneugster
|
4db5260ed8
|
shrink nng image
|
1 year ago |
|
joneugster
|
d19046aebd
|
fix dist path
|
1 year ago |
|
joneugster
|
6e0fcb1d50
|
fixes for vite
|
1 year ago |
|
joneugster
|
04c70ba522
|
fix for STG on landing page
|
1 year ago |
|
joneugster
|
1b3993ad3e
|
fix
|
1 year ago |
|
joneugster
|
45a95bbdc4
|
update landing page
|
1 year ago |
|
joneugster
|
7c9f3d7a0a
|
remove token
|
1 year ago |
|
joneugster
|
823000d5d4
|
partial implementation of loading mechanism
|
1 year ago |
|
joneugster
|
c706b66af1
|
update doc to use -K option for local setup
|
1 year ago |
|
Jon Eugster
|
933394bb6f
|
Update running_locally.md
|
1 year ago |
|
Jon Eugster
|
e09c016c4c
|
Update update_game.md
|
1 year ago |
|
Jon Eugster
|
06d9656e88
|
Update running_locally.md
|
1 year ago |
|
Jon Eugster
|
b30164dec4
|
Update README.md
|
1 year ago |
|
Jon Eugster
|
ea685f0b19
|
Update README.md
|
1 year ago |
|
Jon Eugster
|
d71b895550
|
Update create_game.md
|
1 year ago |
|
Jon Eugster
|
21070af13c
|
Update create_game.md
|
1 year ago |
|
Jon Eugster
|
2b9f791655
|
Create update_game.md
|
1 year ago |
|
Jon Eugster
|
51ca5354dc
|
Update running_locally.md
|
1 year ago |
|
Jon Eugster
|
ebcde9d588
|
Update create_game.md
|
1 year ago |
|
Jon Eugster
|
335e7e6883
|
Update README.md
|
1 year ago |
|
joneugster
|
6f92d61381
|
fix redirect from landing page in dev container #145
|
1 year ago |
|
joneugster
|
506677ee02
|
bump to v4.2.0
|
1 year ago |
|
joneugster
|
3d97cff0f4
|
change to vite
|
1 year ago |
Alexander Bentkamp
|
bda1f98693
|
remove docker isntructions
|
1 year ago |
|
Alexander Bentkamp
|
7e0b82cb14
|
better handling of breaking connection
|
1 year ago |
|
joneugster
|
918151ade5
|
npm audit
|
1 year ago |
|
joneugster
|
c2b5754371
|
Merge branch 'refactor'
|
1 year ago |
|
joneugster
|
d1cd0f80fd
|
refactor app_bar
|
1 year ago |
|
joneugster
|
d52d63020c
|
fix dropdown on safari
|
1 year ago |
TentativeConvert
|
efdc9ee536
|
Merge pull request #132 from pitmonticone/main
Fix typos
|
1 year ago |
Pietro Monticone
|
9b8e84cc9c
|
Update landing_page.tsx
|
1 year ago |
|
Pietro Monticone
|
3416b32ddc
|
Update FileWorker.lean
|
1 year ago |
|
Pietro Monticone
|
2951747d1a
|
Update EnvExtensions.lean
|
1 year ago |
|
Pietro Monticone
|
f0f998298f
|
Update Commands.lean
|
1 year ago |
|
Pietro Monticone
|
c4dc48292a
|
Update running_locally.md
|
1 year ago |
|
Pietro Monticone
|
d3a450f5b1
|
Update npm_scripts.md
|
1 year ago |
|
Pietro Monticone
|
fe8f8b6df3
|
Update DOCUMENTATION.md
|
1 year ago |
|
Pietro Monticone
|
207bb88c59
|
Update create_game.md
|
1 year ago |
|
joneugster
|
5c41d5c83c
|
Merge branch 'main' into refactor
|
1 year ago |
|
joneugster
|
8e4c993bd7
|
fix Exercise statement
|
1 year ago |
|
joneugster
|
787d010b6c
|
cleanup app_bar.tsx
|
1 year ago |
|
joneugster
|
e740027144
|
move css files
|
1 year ago |
|
joneugster
|
53e015a2fe
|
cleanup app.tsx
|
1 year ago |
|
joneugster
|
b70ac78cf7
|
split Typewriterinterface and catch promise file close error #127
|
1 year ago |
|
joneugster
|
853f797157
|
add comment for rpc bug
|
1 year ago |
|
joneugster
|
84ad619537
|
Improve input and deletion of typewriter #122
|
1 year ago |
|
joneugster
|
b6bc77828d
|
remove 'Exercise' word #123
|
1 year ago |
|
joneugster
|
ceee1b38e1
|
move circular loading
|
1 year ago |