Commit Graph

Select branches

Hide Pull Requests

add_game_knights

better-timeout

bump_v4.8.0

check_upload_size

cleanup_stuff

dev

joneugster-patch-1

joneugster-patch-1-1

main

mobile-option

nowatchdog

server_capacity

stats

ubuntu-test

v4.5.0-bump

v4.6.0-bump

wasm

wasm2

world_overviews

#116

#118

#120

#129

#129

#132

#139

#139

#153

#159

#166

#167

#168

#181

#182

#184

#185

#186

#203

#204

#205

#206

#220

#224

#234

#236

#244

#248

#250

#251

#251

#253

#259

#260

#261

#262

#262

#266

#266

#267

#268

#269

#274

#274

#279

#279

#280

#281

#283

#285

#285

#287

#288

#288

#43

#53

#54

#68

#79

#83

#99

v4.1.0

v4.2.0

v4.3.0

v4.3.0-rc2

v4.4.0

v4.4.0-rc1

v4.5.0

v4.6.0

v4.6.1

v4.7.0

Mono Color

• de163a19c9 turn missing doc error into warning Jon Eugster 2023-05-15 10:52:59 +02:00
• e30eee92ed latest required in manifest.json Alexander Bentkamp 2023-05-15 13:00:02 +02:00
• ef8815f306 use only lower case docker image names Alexander Bentkamp 2023-05-15 12:44:38 +02:00
• b6052a7e89 docker repository must be lowercase Jon Eugster 2023-05-13 15:25:04 +02:00
• 572be60c65 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-05-13 15:21:13 +02:00
• c6e224dc40 add Hole and Template skeleton Jon Eugster 2023-05-12 16:02:36 +02:00
• 6cda39a778 wait 3s until artifacts are available Alexander Bentkamp 2023-05-11 09:37:20 +02:00
• e9a434e26c remove landing page html file Alexander Bentkamp 2023-05-10 15:50:22 +02:00
• 9ba5acef4d support arbitrary docker containers as games Alexander Bentkamp 2023-05-10 11:44:25 +02:00
• 161c88d58f delete temporary files after import Alexander Bentkamp 2023-05-09 13:44:19 +02:00
• cf5783f2e4 remove alternative import Alexander Bentkamp 2023-05-09 12:19:06 +02:00
• 035a66c930 more import Alexander Bentkamp 2023-05-05 20:47:27 +02:00
• 76ce856082 import experimentation Alexander Bentkamp 2023-05-05 18:57:00 +02:00
• 2a81c67675 landing page css and text Jon Eugster 2023-05-09 12:01:27 +02:00
• ab0cb5ba3d complete upload and download functionality Jon Eugster 2023-05-08 17:49:56 +02:00
• a52f10ab11 add menu to delete game progress Jon Eugster 2023-05-08 12:18:39 +02:00
• 9514e558ad fix build.sh for real Alexander Bentkamp 2023-05-05 14:42:49 +02:00
• b222cff665 fix build.sh Alexander Bentkamp 2023-05-05 14:33:55 +02:00
• 105dd39f12 update build script Alexander Bentkamp 2023-05-05 14:07:32 +02:00
• b703752f3a css and typo Jon Eugster 2023-05-04 19:30:53 +02:00
• 6582d4e625 update css Jon Eugster 2023-05-04 17:34:57 +02:00
• 048f3a8c0e change colour of github icon Jon Eugster 2023-05-04 16:14:14 +02:00
• 7929fb2dfe add_log_messages Jon Eugster 2023-05-04 16:11:00 +02:00
• 7c65025598 add-imports #68 Jon Eugster 2023-05-04 16:09:44 +02:00
• 93b02883b3 typo Jon Eugster 2023-05-04 16:05:14 +02:00
• c4e63687c0 add log messages Jon Eugster 2023-05-04 16:03:16 +02:00
• 9d1c5cb512 fix viewport scale Jon Eugster 2023-05-04 15:29:13 +02:00
• f17d56d7e5 css landing page Jon Eugster 2023-05-04 14:54:34 +02:00
• eaf0d13c2f make game directory more configurable Alexander Bentkamp 2023-05-04 11:48:32 +02:00
• dd7f1a8e20 landing page Jon Eugster 2023-05-03 14:36:24 +02:00
• a0a3438bee update npm and install new module Jon Eugster 2023-05-03 14:36:05 +02:00
• 0b82f8f24e Update README.md Jon Eugster 2023-05-01 16:56:25 +02:00
• e0c249c686 fix inventory css Jon Eugster 2023-04-28 19:31:36 +02:00
• 300849d5d1 Update README.md Jon Eugster 2023-04-28 18:52:30 +02:00
• c288c98657 add docs Jon Eugster 2023-04-28 18:17:10 +02:00
• fd3a543dcd css colour change Jon Eugster 2023-04-28 13:13:16 +02:00
• 48ba131d2c fix bug for marking new inventory items Jon Eugster 2023-04-28 13:01:38 +02:00
• e3c14256fb revert attributes for statements Jon Eugster 2023-04-28 12:43:10 +02:00
• ebcc1df171 add syntax for attr in statements; add new key to computed inventory items. Jon Eugster 2023-04-28 12:39:24 +02:00
• d837344797 fix Jon Eugster 2023-04-26 01:52:21 +02:00
• 759e9722f8 typo Jon Eugster 2023-04-26 01:43:42 +02:00
• 8246ae6eac change folder structure Jon Eugster 2023-04-26 01:31:35 +02:00
• 2097eddb2f factor out adam game Jon Eugster 2023-04-26 00:46:32 +02:00
• f9614b3bcd ignore server/ when building webpack Jon Eugster 2023-04-25 21:27:08 +02:00
• cddb28fe73 extract NNG Jon Eugster 2023-04-25 20:47:11 +02:00
• a8909cb6bb Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-04-25 20:46:23 +02:00
• b94632cf0b wip Jon Eugster 2023-04-25 20:17:14 +02:00
• 79c04a1bff add comment about alternative le definition Kevin Buzzard 2023-04-25 18:09:20 +01:00
• a116a10050 add explanation of the instances Kevin Buzzard 2023-04-25 18:05:48 +01:00
• 9fa94ecc5c Update CREATE_GAME.md Jon Eugster 2023-04-25 18:13:07 +02:00
• 6c7ac9840f rudimentary documentation Jon Eugster 2023-04-25 18:10:48 +02:00
• 5f0d25867e typo Jon Eugster 2023-04-25 17:29:07 +02:00
• fd8c11b3d6 hardcode interface elements in English Jon Eugster 2023-04-25 16:28:33 +02:00
• 0ea112c29e fix Jon Eugster 2023-04-25 14:13:18 +02:00
• 1a9a299ed6 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-04-25 14:06:29 +02:00
• b1a53aba05 NNG progress Jon Eugster 2023-04-25 14:06:17 +02:00
• f8ae5795cb client modifications Jon Eugster 2023-04-25 14:05:44 +02:00
• 58e488017e Update README.md Jon Eugster 2023-04-22 14:31:27 +02:00
• b6715bcbff add global options to the games (disbable tactic.hygienic) Jon Eugster 2023-04-20 15:45:06 +02:00
• 269acd4938 ring_nf Jon Eugster 2023-04-18 13:19:46 +02:00
• b73249df22 disable unfinished levels Jon Eugster 2023-04-18 13:19:27 +02:00
• f48f639190 nng levels Jon Eugster 2023-04-17 14:59:44 +02:00
• 8d395d56e7 modify Statement Jon Eugster 2023-04-16 18:12:36 +02:00
• 545d20bb5a show statement name in command line mode Jon Eugster 2023-04-14 13:49:07 +02:00
• 7644740dc2 css for markdown code Jon Eugster 2023-04-14 11:24:43 +02:00
• b1dc4d71b3 named Statements are added to context with there specified name Jon Eugster 2023-04-14 10:48:46 +02:00
• 0560c0100b named Statements are automatically added to inventory Jon Eugster 2023-04-13 22:25:25 +02:00
• 26239d6687 remove old Hint statements Jon Eugster 2023-04-13 20:50:34 +02:00
• db7a84c570 remove redundant imports Jon Eugster 2023-04-13 19:42:20 +02:00
• 6db53a8071 reorganise gameserver and add docstrings Jon Eugster 2023-04-13 19:18:20 +02:00
• fec4005476 nng levels Jon Eugster 2023-04-13 16:43:45 +02:00
• 66fd600462 removed old OtherGoals section Jon Eugster 2023-04-11 11:19:50 +02:00
• cd4e3bb949 NNG levels Jon Eugster 2023-04-11 11:14:36 +02:00
• a4cb28df7b level Jon Eugster 2023-04-10 14:01:53 +02:00
• a18ad27985 hover titles for inventory Jon Eugster 2023-04-10 13:38:41 +02:00
• 60a9c1727b improve command line display Jon Eugster 2023-04-05 17:16:30 +02:00
• 94b5af1623 reduce imported mathlib chunk Jon Eugster 2023-04-04 21:29:10 +02:00
• 2ec897fa39 fix permission Jon Eugster 2023-04-03 19:55:27 +02:00
• 68606aab99 levels Jon Eugster 2023-04-03 19:51:27 +02:00
• f636a8d833 fix missing lemma docs from statement names Jon Eugster 2023-04-03 11:53:48 +02:00
• c2b298e650 fix Jon Eugster 2023-04-03 11:53:10 +02:00
• e93e480f27 move Statement further down in the document Jon Eugster 2023-03-31 17:46:25 +02:00
• b6b4251d5d text Jon Eugster 2023-03-31 17:49:16 +02:00
• 9b25eda668 levels and custom induction Jon Eugster 2023-03-31 17:48:52 +02:00
• c8b0ac4e6c css Jon Eugster 2023-03-31 17:48:18 +02:00
• f02e591c37 typo Jon Eugster 2023-03-31 17:48:04 +02:00
• b6066f5163 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-03-31 12:39:15 +02:00
• f61ec82c83 Merge pull request #54 from TentativeConvert/main Jon Eugster 2023-03-31 12:10:37 +02:00
• 96a8da9d93 Apply suggestions from code review #54 Jon Eugster 2023-03-31 12:10:09 +02:00
• e947c434a8 konsequente Kleinschreibung von du, dein, dir Marcus Zibrowius 2023-03-31 10:44:50 +02:00
• 23abcaf488 Titelseite überarbeiten Marcus Zibrowius 2023-03-31 10:25:07 +02:00
• 0e5891371a levels Jon Eugster 2023-03-30 21:01:35 +02:00
• 62fb4f52bd implement functionality of OnlyTactic Jon Eugster 2023-03-30 20:13:15 +02:00
• 90062a217c do not show empty introductions/conclusions Jon Eugster 2023-03-30 18:56:32 +02:00
• 2e4161ca7a typos Jon Eugster 2023-03-30 17:48:55 +02:00
• 1adf5783bb Merge pull request #53 from TentativeConvert/main Jon Eugster 2023-03-30 17:36:14 +02:00
• b8eccf3a8e Merge branch 'main' into main #53 Jon Eugster 2023-03-30 17:35:07 +02:00
• f46b59163b add .gitignore for nng Jon Eugster 2023-03-30 14:59:58 +02:00
• 85f0a2e559 use LemmaTab in levels Jon Eugster 2023-03-30 14:59:28 +02:00
• 3cbe336ccb add command LemmaTab to specify default tab when loading level Jon Eugster 2023-03-30 14:59:07 +02:00