Arnaud Bodin
|
4e8b2e1c15
|
French translation (for a new Pull Request) (#108)
|
2025-07-12 00:00:13 +01:00 |
|
Andrii Kurdiumov
|
ee0b72527e
|
Ukrainian translation (#95)
|
2025-07-10 10:13:54 +01:00 |
|
Kevin Buzzard
|
49f1a33406
|
more realistic claims about prime number world
|
2025-02-01 23:24:33 +00:00 |
|
Jon Eugster
|
20813a03c1
|
steps towards chinese nng
|
2024-03-27 01:39:16 +01:00 |
|
Kevin Buzzard
|
693051fc84
|
Merge branch 'main' into AdvMultiplication
|
2023-12-20 14:17:43 +00:00 |
|
Jon Eugster
|
dbd5364a8d
|
bump to v4.3.0
|
2023-12-08 01:33:50 +01:00 |
|
Kevin Buzzard
|
52accd4dac
|
add new world
|
2023-10-31 01:19:56 +00:00 |
|
Kevin Buzzard
|
f3fbe5b719
|
update game version
|
2023-10-28 12:55:51 +01:00 |
|
Kevin Buzzard
|
9baabe570d
|
update comment about which worlds are here/coming.
|
2023-10-28 12:54:38 +01:00 |
|
Kevin Buzzard
|
27ae2cdc6b
|
algorithm world rc0
|
2023-10-27 18:24:50 +01:00 |
|
Kevin Buzzard
|
8f997c267e
|
Merge branch 'main' into LessOrEqual
|
2023-10-23 13:52:23 +01:00 |
|
Kevin Buzzard
|
d80a520359
|
tinkering
|
2023-10-22 15:50:20 +01:00 |
|
joneugster
|
df1e68cc9d
|
remove unnecessary Dependency commands
|
2023-10-16 17:46:50 +02:00 |
|
Kevin Buzzard
|
7e4226ec25
|
start on <= world
|
2023-10-13 19:11:24 +01:00 |
|
Kevin Buzzard
|
0057c73426
|
add commented-out future levels
|
2023-10-12 19:37:09 +01:00 |
|
Kevin Buzzard
|
bf013af673
|
Merge branch 'main' into level-rewrite
|
2023-10-11 17:58:40 +01:00 |
|
Kevin Buzzard
|
a01eb1bd00
|
break off implication world
|
2023-10-11 17:53:51 +01:00 |
|
Kevin Buzzard
|
f29f3942ea
|
add more comments in Game.lean
|
2023-10-09 07:55:07 +01:00 |
|
Kevin Buzzard
|
95df86b76b
|
reordering tactics now I can hide them
|
2023-10-02 17:37:59 +01:00 |
|
Kevin Buzzard
|
4dc5f5fb10
|
Begin advanced addition world.
|
2023-10-01 20:43:54 +01:00 |
|
Kevin Buzzard
|
a5d359803c
|
prune game down to main branch in advance of deployment
|
2023-09-26 15:51:44 +01:00 |
|
Kevin Buzzard
|
41e7099070
|
interminable tutorial tweaking/text removal
|
2023-09-26 10:59:17 +01:00 |
|
Kevin Buzzard
|
2b83d966c6
|
tutorial world now heavily edited/simplified.
|
2023-09-23 09:38:34 +01:00 |
|
Kevin Buzzard
|
9beb914120
|
waffle edits in tutorial world intro + 1-4
|
2023-09-22 19:49:19 +01:00 |
|
Kevin Buzzard
|
2f4d0aa37d
|
typos
|
2023-09-21 17:15:18 +01:00 |
|
Kevin Buzzard
|
c572a265cb
|
fix typo
|
2023-09-21 17:11:26 +01:00 |
|
Kevin Buzzard
|
a20e5ec936
|
more tinkering
|
2023-09-21 16:43:52 +01:00 |
|
Kevin Buzzard
|
ce61403096
|
home screen tinkering
|
2023-09-21 16:36:17 +01:00 |
|
Kevin Buzzard
|
df7dc80032
|
update Game stuff
|
2023-09-21 16:17:39 +01:00 |
|
Kevin Buzzard
|
9e1bee72a0
|
snazz up intro screen text
|
2023-09-21 15:55:45 +01:00 |
|
Jon Eugster
|
be770f373f
|
long name
|
2023-09-01 20:10:13 +02:00 |
|
Jon Eugster
|
1e51d8095d
|
update introduction
|
2023-09-01 12:12:17 +02:00 |
|
Jon Eugster
|
b41a35d56c
|
bump gameserver after fixes
|
2023-08-12 12:35:29 +02:00 |
|
Kevin Buzzard
|
15e854f991
|
remove some paths
|
2023-08-12 05:39:56 +01:00 |
|
Kevin Buzzard
|
6256c49e47
|
another panic aargh
|
2023-08-12 05:36:26 +01:00 |
|
Kevin Buzzard
|
cbaeb0452c
|
making the full graph
|
2023-08-12 05:01:29 +01:00 |
|
Jon Eugster
|
284950984f
|
Merge branch 'main' into level-rewrite
|
2023-08-11 15:37:46 +02:00 |
|
Jon Eugster
|
df5efa7548
|
update NNG4 version number
|
2023-08-06 19:41:04 +02:00 |
|
Kevin Buzzard
|
9de6f45fa6
|
tidying up now I can see my work in a browser
|
2023-08-05 18:33:53 +01:00 |
|
Kevin Buzzard
|
b2ec28cbff
|
Merge branch 'main' into addition-revision
|
2023-08-05 04:11:54 +01:00 |
|
Kevin Buzzard
|
7faf4321ba
|
make compiling faster
|
2023-08-05 04:03:55 +01:00 |
|
Jon Eugster
|
2802e2ac08
|
rename Path to Dependency
|
2023-07-23 20:31:16 +02:00 |
|
Jon Eugster
|
04d81035ad
|
add a manual path
|
2023-07-20 16:49:37 +02:00 |
|
Jon Eugster
|
ba13a9633c
|
bump Gameserver
|
2023-07-19 14:58:22 +02:00 |
|
Jon Eugster
|
b04341c0c4
|
optional statement
|
2023-05-15 18:00:00 +02:00 |
|
Jon Eugster
|
2604c89284
|
big refactor
|
2023-05-15 15:12:35 +02:00 |
|