Jon Eugster
|
8cdac88b5a
|
bump to v4.4.0
|
1 year ago |
Alexander Bentkamp
|
c9f97b3285
|
remove watchdog
|
1 year ago |
|
Jon Eugster
|
614b762b6c
|
rename LemmaDoc into TheoremDoc and so on
|
1 year ago |
|
Jon Eugster
|
2d0f69d337
|
fix: prevent multiple NewTactic per level #125
|
1 year ago |
|
Jon Eugster
|
5fd49abb90
|
improve hover text for inventory items #144
|
1 year ago |
|
Jon Eugster
|
ae636a03ed
|
fix: hide hidden inventory items in overview #169
|
1 year ago |
|
joneugster
|
8c39fb6664
|
cleanup; including using doc comment syntax for documentation like TacticDoc
|
1 year ago |
|
Jon Eugster
|
527f58e3a4
|
separate lean server from socket server
|
1 year ago |
|
Jon Eugster
|
f6738faf46
|
golf
|
1 year ago |
|
Jon Eugster
|
cb7224934c
|
fix cwd for gameserver
|
1 year ago |
|
Jon Eugster
|
13d54ff0ff
|
fix gameserver path
|
1 year ago |
|
Jon Eugster
|
4f5256fa88
|
fix bubblewrap script
|
1 year ago |
|
Jon Eugster
|
c2b9175fe5
|
use the gameserver of each game individually
|
1 year ago |
|
Jon Eugster
|
d5697d052e
|
images folder might not exist
|
1 year ago |
|
Jon Eugster
|
54bab2a016
|
add support for images
|
1 year ago |
|
Jon Eugster
|
23b1074aa2
|
cleanup tmp files after import
|
1 year ago |
|
joneugster
|
f6a2632d80
|
fix error message on importing non-existing game tile
|
1 year ago |
|
joneugster
|
f2190d648f
|
fix manual dependencies being added twice to svg
|
1 year ago |
|
joneugster
|
7a03c4fe0d
|
move landing page tiles to the games
|
1 year ago |
|
joneugster
|
121b36b542
|
bump to v4.3.0
|
1 year ago |
|
Alexander Bentkamp
|
d18b48db2f
|
make json files directly accessible
|
1 year ago |
|
Alexander Bentkamp
|
97dc648452
|
use goal lctx for hints
Closes #135
|
1 year ago |
|
joneugster
|
44f7b6703e
|
Revert "fix variables in hints"
This reverts commit 8851cd8b1f.
|
1 year ago |
|
joneugster
|
8851cd8b1f
|
fix variables in hints
|
1 year ago |
|
Alexander Bentkamp
|
bae360874c
|
json api
|
1 year ago |
|
joneugster
|
07b6525c58
|
fix local setup
|
1 year ago |
|
joneugster
|
8e8026aa38
|
more fixing
|
1 year ago |
|
joneugster
|
a3a421f504
|
fix bubblewrap script
|
1 year ago |
|
joneugster
|
084e25c0dc
|
wip on imports
|
1 year ago |
|
Alexander Bentkamp
|
6580afb622
|
fix names in hints
Fixes #135
|
1 year ago |
|
joneugster
|
0c0a7ab400
|
bubblewrap test
|
1 year ago |
|
joneugster
|
dfb2f10219
|
correct std version
|
1 year ago |
|
Alexander Bentkamp
|
a57a5af111
|
also display loading of constants
|
1 year ago |
|
Alexander Bentkamp
|
374afa318a
|
fix gameserver path
|
1 year ago |
|
Alexander Bentkamp
|
590d68ccfb
|
gitignore .lake
|
1 year ago |
|
Alexander Bentkamp
|
f6727e5c9f
|
loading progress
|
1 year ago |
|
joneugster
|
241ef4b67a
|
bump to v4.3.0-rc2
|
1 year ago |
|
joneugster
|
ea4250f38d
|
modify message of import script
|
1 year ago |
|
joneugster
|
1d2420331d
|
make URL case insensitive
|
1 year ago |
|
joneugster
|
2213862998
|
disable bad try catch
|
1 year ago |
|
joneugster
|
81073b24b8
|
fix bubblewrap script
|
1 year ago |
|
joneugster
|
33068f1183
|
improve error message
|
1 year ago |
|
joneugster
|
8ab37d4344
|
disable queue
|
1 year ago |
|
joneugster
|
f53316c591
|
fix paths
|
1 year ago |
|
joneugster
|
427ce43e95
|
fix import mechanism
|
1 year ago |
|
joneugster
|
5fcdee4f71
|
import seems to be working
|
1 year ago |
|
joneugster
|
7ad23dab24
|
work on importing
|
1 year ago |
|
joneugster
|
04c70ba522
|
fix for STG on landing page
|
1 year ago |
|
joneugster
|
1b3993ad3e
|
fix
|
1 year ago |
|
joneugster
|
7c9f3d7a0a
|
remove token
|
1 year ago |