Pietro Monticone
|
3416b32ddc
|
Update FileWorker.lean
|
3 years ago |
joneugster
|
30f9d46489
|
check for structural recursion #117
|
3 years ago |
|
joneugster
|
2de82a1106
|
fix from lean bump
|
3 years ago |
|
joneugster
|
047c5ae268
|
force editor mode if template present
|
3 years ago |
|
Jon Eugster
|
3a3471c615
|
throw error in regular difficulty if tactic not unlocked
|
3 years ago |
Alexander Bentkamp
|
a7dab88747
|
remove old debug code
|
3 years ago |
|
Jon Eugster
|
9ef4122e94
|
add allowed keywords 'by' and 'to'
|
3 years ago |
|
Jon Eugster
|
1205d83246
|
lock tactics based on local storage
|
3 years ago |
|
Jon Eugster
|
f4fc8ed57c
|
add optional argument checkForbiddenTactics to compileProof
|
3 years ago |
|
Jon Eugster
|
bd7dc02e70
|
lots of stuff
|
3 years ago |
|
Alexander Bentkamp
|
eaf0d13c2f
|
make game directory more configurable
|
3 years ago |
|
Jon Eugster
|
8246ae6eac
|
change folder structure
|
3 years ago |