2020-05-27 | JBM | Upgrade to engine 3.15.0 | commit | commitdiff | tree | snapshot |
2020-05-27 | JBM | Document length/distance duality and impending doom | commit | commitdiff | tree | snapshot |
2020-05-27 | JBM | Document the maps | commit | commitdiff | tree | snapshot |
2020-05-20 | JBM | Link to contrib and forum | commit | commitdiff | tree | snapshot |
2020-05-20 | JBM | Enforce 1-stone rule. Animate defeats a bit more. | commit | commitdiff | tree | snapshot |
2020-05-20 | JBM | Early termination | commit | commitdiff | tree | snapshot |
2020-05-20 | JBM | Fill up statement | commit | commitdiff | tree | snapshot |
2020-05-20 | JBM | More .gitignore | commit | commitdiff | tree | snapshot |
2020-05-20 | JBM | Initial commit | commit | commitdiff | tree | snapshot |