Alexander Bentkamp
|
8c4b995a32
|
rename message to hint
|
3 years ago |
Jon Eugster
|
46848d8a93
|
merge addition of Lemma statements
|
4 years ago |
|
Jon Eugster
|
649a5d2dfb
|
Add hints.
|
4 years ago |
|
Alexander Bentkamp
|
4cb129c2f3
|
remove old server code
|
4 years ago |
|
Alexander Bentkamp
|
0a495984aa
|
check trigger for messages
|
4 years ago |
|
Jon Eugster
|
5bf0cd9775
|
first_levels
|
4 years ago |
|
Jon Eugster
|
e43a2e2e9f
|
wip
|
4 years ago |
|
Alexander Bentkamp
|
91d41cdd6d
|
define paths
|
4 years ago |
|
Alexander Bentkamp
|
bc9531a9c2
|
add worlds
|
4 years ago |
|
Alexander Bentkamp
|
f6bf1924ff
|
save and load levels as syntax
|
4 years ago |
|
Alexander Bentkamp
|
732754c9fc
|
rework build process
|
4 years ago |