joneugster
|
3d97cff0f4
|
change to vite
|
3 years ago |
Alexander Bentkamp
|
bda1f98693
|
remove docker isntructions
|
3 years ago |
|
Alexander Bentkamp
|
7e0b82cb14
|
better handling of breaking connection
|
3 years ago |
|
joneugster
|
918151ade5
|
npm audit
|
3 years ago |
|
joneugster
|
c2b5754371
|
Merge branch 'refactor'
|
3 years ago |
|
joneugster
|
d1cd0f80fd
|
refactor app_bar
|
3 years ago |
|
joneugster
|
d52d63020c
|
fix dropdown on safari
|
3 years ago |
TentativeConvert
|
efdc9ee536
|
Merge pull request #132 from pitmonticone/main
Fix typos
|
3 years ago |
Pietro Monticone
|
9b8e84cc9c
|
Update landing_page.tsx
|
3 years ago |
|
Pietro Monticone
|
3416b32ddc
|
Update FileWorker.lean
|
3 years ago |
|
Pietro Monticone
|
2951747d1a
|
Update EnvExtensions.lean
|
3 years ago |
|
Pietro Monticone
|
f0f998298f
|
Update Commands.lean
|
3 years ago |
|
Pietro Monticone
|
c4dc48292a
|
Update running_locally.md
|
3 years ago |
|
Pietro Monticone
|
d3a450f5b1
|
Update npm_scripts.md
|
3 years ago |
|
Pietro Monticone
|
fe8f8b6df3
|
Update DOCUMENTATION.md
|
3 years ago |
|
Pietro Monticone
|
207bb88c59
|
Update create_game.md
|
3 years ago |
|
joneugster
|
5c41d5c83c
|
Merge branch 'main' into refactor
|
3 years ago |
|
joneugster
|
8e4c993bd7
|
fix Exercise statement
|
3 years ago |
|
joneugster
|
787d010b6c
|
cleanup app_bar.tsx
|
3 years ago |
|
joneugster
|
e740027144
|
move css files
|
3 years ago |
|
joneugster
|
53e015a2fe
|
cleanup app.tsx
|
3 years ago |
|
joneugster
|
b70ac78cf7
|
split Typewriterinterface and catch promise file close error #127
|
3 years ago |
|
joneugster
|
853f797157
|
add comment for rpc bug
|
3 years ago |
|
joneugster
|
84ad619537
|
Improve input and deletion of typewriter #122
|
3 years ago |
|
joneugster
|
b6bc77828d
|
remove 'Exercise' word #123
|
3 years ago |
|
joneugster
|
ceee1b38e1
|
move circular loading
|
3 years ago |
|
joneugster
|
b5927a1024
|
Fix assumption display in inventory and editor mode #84
|
3 years ago |
|
joneugster
|
2b159f508f
|
move test
|
3 years ago |
|
joneugster
|
30f9d46489
|
check for structural recursion #117
|
3 years ago |
|
joneugster
|
5de8ce8be7
|
fixes of lean bump
|
3 years ago |
|
joneugster
|
2de82a1106
|
fix from lean bump
|
3 years ago |
|
joneugster
|
ca58cb0e78
|
typo
|
3 years ago |
|
joneugster
|
ec96f2c80e
|
bump lean-toolchain
|
3 years ago |
|
joneugster
|
cafe74a22b
|
add file
|
3 years ago |
|
joneugster
|
cc4321ff3f
|
Turn some logInfo into trace[debug] to toggle the off for building
|
3 years ago |
|
joneugster
|
19592668ae
|
documentation
|
3 years ago |
|
joneugster
|
556c072cef
|
NewLemma checks if specified theorem exists and searches for docstrings
|
3 years ago |
|
joneugster
|
bb0ba83f18
|
load arbitrary games with tags g/local/FolderName
|
3 years ago |
|
joneugster
|
0c65a2e4f1
|
reorganise popups
|
3 years ago |
|
joneugster
|
06aa5d5339
|
help button explaining Game Rules
|
3 years ago |
|
joneugster
|
63a0d8d5f0
|
typo
|
3 years ago |
|
joneugster
|
d66546a7f1
|
fix empty typewriter containing two lines
|
3 years ago |
|
joneugster
|
caee7195db
|
lean4game.verbose option
|
3 years ago |
|
joneugster
|
2b5c42a3c5
|
insert template when editor empty
|
3 years ago |
|
joneugster
|
4ca570e232
|
landing page html
|
3 years ago |
|
joneugster
|
ae5413f82e
|
improve world tree
|
3 years ago |
|
joneugster
|
60069191dd
|
update doc
|
3 years ago |
|
joneugster
|
9cd44911a4
|
strip newlines when switching to typewriter
|
3 years ago |
|
joneugster
|
047c5ae268
|
force editor mode if template present
|
3 years ago |
|
joneugster
|
04038a32c8
|
fix inventory local storage
|
3 years ago |