phc
/
lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 58308f9391 update installation instruction Jon Eugster 2023-06-16 13:56:58 +0200
  • c42b283a78 dev containers instructions Alexander Bentkamp 2023-06-13 13:41:46 +0200
  • 2f8a75c216 rename to local/game Alexander Bentkamp 2023-06-13 13:25:26 +0200
  • b5b3426856 use DEV_CONTAINER env var Alexander Bentkamp 2023-06-13 12:58:31 +0200
  • 620cf0597e add path for local game Alexander Bentkamp 2023-06-13 11:44:09 +0200
  • 9354724327 node_modules regex does not seem to work on windows Alexander Bentkamp 2023-06-07 09:40:21 +0200
  • aece2b5645 use cross-env to make npm scripts work on windows Alexander Bentkamp 2023-06-06 13:08:09 +0200
  • 839910a408 running games locally documentation Alexander Bentkamp 2023-06-06 10:59:58 +0200
  • 73ca0f4d95 fix Statement inside a namespace Jon Eugster 2023-05-26 17:10:10 +0200
  • 2c2c6a0c5e
         Merge pull request #79 from leanprover-community/automatic_inventory_doc Jon Eugster 2023-05-26 16:02:02 +0200
  • 2402c2a515 add forward to keep old address alive Alexander Bentkamp 2023-05-25 11:47:24 +0200
  • 047d75e74d add function to retrieve tactic docstring #79 Jon Eugster 2023-05-24 15:25:55 +0200
  • 3bf5c5e5e8 rename and tidy up Jon Eugster 2023-05-22 21:20:24 +0200
  • fbf0f55968 reorganisational draft Jon Eugster 2023-05-22 20:30:58 +0200
  • 60876b4a77 move Doc class Jon Eugster 2023-05-19 13:03:23 +0200
  • d753d1d873 docstrings Jon Eugster 2023-05-19 13:01:58 +0200
  • 98597c1522 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-05-15 17:59:22 +0200
  • 1b0e4a6a81 make command optional Jon Eugster 2023-05-15 17:58:59 +0200
  • fddbcb5548 unzip Alexander Bentkamp 2023-05-15 17:47:47 +0200
  • 46de9fcb77 unzip -o Alexander Bentkamp 2023-05-15 17:02:03 +0200
  • e17616b73d add __dirname def Alexander Bentkamp 2023-05-15 16:45:17 +0200
  • ca2c3d001f use __dirname Alexander Bentkamp 2023-05-15 16:40:37 +0200
  • d6f50fc51a use bash script for unpacking during import Alexander Bentkamp 2023-05-15 16:22:13 +0200
  • 13233710e9 modified inventory doc requirement Jon Eugster 2023-05-15 15:09:27 +0200
  • c0785c5370 update .gitignore Jon Eugster 2023-05-15 15:06:17 +0200
  • e86a460eb9 remove deprecated UPDATE_LEAN.sh Jon Eugster 2023-05-15 15:05:53 +0200
  • de163a19c9 turn missing doc error into warning Jon Eugster 2023-05-15 10:52:59 +0200
  • e30eee92ed `latest` required in manifest.json Alexander Bentkamp 2023-05-15 13:00:02 +0200
  • ef8815f306 use only lower case docker image names Alexander Bentkamp 2023-05-15 12:44:38 +0200
  • b6052a7e89 docker repository must be lowercase Jon Eugster 2023-05-13 15:25:04 +0200
  • 572be60c65 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-05-13 15:21:13 +0200
  • c6e224dc40 add Hole and Template skeleton Jon Eugster 2023-05-12 16:02:36 +0200
  • 6cda39a778 wait 3s until artifacts are available Alexander Bentkamp 2023-05-11 09:37:20 +0200
  • e9a434e26c remove landing page html file Alexander Bentkamp 2023-05-10 15:50:22 +0200
  • 9ba5acef4d support arbitrary docker containers as games Alexander Bentkamp 2023-05-10 11:44:25 +0200
  • 161c88d58f delete temporary files after import Alexander Bentkamp 2023-05-09 13:44:19 +0200
  • cf5783f2e4 remove alternative import Alexander Bentkamp 2023-05-09 12:19:06 +0200
  • 035a66c930 more import Alexander Bentkamp 2023-05-05 20:47:27 +0200
  • 76ce856082 import experimentation Alexander Bentkamp 2023-05-05 18:57:00 +0200
  • 2a81c67675 landing page css and text Jon Eugster 2023-05-09 12:01:27 +0200
  • ab0cb5ba3d complete upload and download functionality Jon Eugster 2023-05-08 17:49:56 +0200
  • a52f10ab11 add menu to delete game progress Jon Eugster 2023-05-08 12:18:39 +0200
  • 9514e558ad fix build.sh for real Alexander Bentkamp 2023-05-05 14:42:49 +0200
  • b222cff665 fix build.sh Alexander Bentkamp 2023-05-05 14:33:55 +0200
  • 105dd39f12 update build script Alexander Bentkamp 2023-05-05 14:07:32 +0200
  • b703752f3a css and typo Jon Eugster 2023-05-04 19:30:53 +0200
  • 6582d4e625 update css Jon Eugster 2023-05-04 17:34:57 +0200
  • 048f3a8c0e change colour of github icon Jon Eugster 2023-05-04 16:14:14 +0200
  • 7929fb2dfe
         add_log_messages Jon Eugster 2023-05-04 16:11:00 +0200
  • 7c65025598 add-imports #68 Jon Eugster 2023-05-04 16:09:44 +0200
  • 93b02883b3 typo Jon Eugster 2023-05-04 16:05:14 +0200
  • c4e63687c0 add log messages Jon Eugster 2023-05-04 16:03:16 +0200
  • 9d1c5cb512 fix viewport scale Jon Eugster 2023-05-04 15:29:13 +0200
  • f17d56d7e5 css landing page Jon Eugster 2023-05-04 14:54:34 +0200
  • eaf0d13c2f make game directory more configurable Alexander Bentkamp 2023-05-04 11:48:32 +0200
  • dd7f1a8e20 landing page Jon Eugster 2023-05-03 14:36:24 +0200
  • a0a3438bee update npm and install new module Jon Eugster 2023-05-03 14:36:05 +0200
  • 0b82f8f24e
         Update README.md Jon Eugster 2023-05-01 16:56:25 +0200
  • e0c249c686 fix inventory css Jon Eugster 2023-04-28 19:31:36 +0200
  • 300849d5d1
         Update README.md Jon Eugster 2023-04-28 18:52:30 +0200
  • c288c98657 add docs Jon Eugster 2023-04-28 18:17:10 +0200
  • fd3a543dcd css colour change Jon Eugster 2023-04-28 13:13:16 +0200
  • 48ba131d2c fix bug for marking new inventory items Jon Eugster 2023-04-28 13:01:38 +0200
  • e3c14256fb revert attributes for statements Jon Eugster 2023-04-28 12:43:10 +0200
  • ebcc1df171 add syntax for attr in statements; add new key to computed inventory items. Jon Eugster 2023-04-28 12:39:24 +0200
  • d837344797 fix Jon Eugster 2023-04-26 01:52:21 +0200
  • 759e9722f8 typo Jon Eugster 2023-04-26 01:43:42 +0200
  • 8246ae6eac change folder structure Jon Eugster 2023-04-26 01:31:35 +0200
  • 2097eddb2f factor out adam game Jon Eugster 2023-04-26 00:46:32 +0200
  • f9614b3bcd ignore server/ when building webpack Jon Eugster 2023-04-25 21:27:08 +0200
  • cddb28fe73 extract NNG Jon Eugster 2023-04-25 20:47:11 +0200
  • a8909cb6bb Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-04-25 20:46:23 +0200
  • b94632cf0b wip Jon Eugster 2023-04-25 20:17:14 +0200
  • 79c04a1bff add comment about alternative le definition Kevin Buzzard 2023-04-25 18:09:20 +0100
  • a116a10050 add explanation of the instances Kevin Buzzard 2023-04-25 18:05:48 +0100
  • 9fa94ecc5c
         Update CREATE_GAME.md Jon Eugster 2023-04-25 18:13:07 +0200
  • 6c7ac9840f rudimentary documentation Jon Eugster 2023-04-25 18:10:48 +0200
  • 5f0d25867e typo Jon Eugster 2023-04-25 17:29:07 +0200
  • fd8c11b3d6 hardcode interface elements in English Jon Eugster 2023-04-25 16:28:33 +0200
  • 0ea112c29e fix Jon Eugster 2023-04-25 14:13:18 +0200
  • 1a9a299ed6 Merge branch 'main' of github.com:leanprover-community/lean4game Jon Eugster 2023-04-25 14:06:29 +0200
  • b1a53aba05 NNG progress Jon Eugster 2023-04-25 14:06:17 +0200
  • f8ae5795cb client modifications Jon Eugster 2023-04-25 14:05:44 +0200
  • 58e488017e
         Update README.md Jon Eugster 2023-04-22 14:31:27 +0200
  • b6715bcbff add global options to the games (disbable tactic.hygienic) Jon Eugster 2023-04-20 15:45:06 +0200
  • 269acd4938 ring_nf Jon Eugster 2023-04-18 13:19:46 +0200
  • b73249df22 disable unfinished levels Jon Eugster 2023-04-18 13:19:27 +0200
  • f48f639190 nng levels Jon Eugster 2023-04-17 14:59:44 +0200
  • 8d395d56e7 modify Statement Jon Eugster 2023-04-16 18:12:36 +0200
  • 545d20bb5a show statement name in command line mode Jon Eugster 2023-04-14 13:49:07 +0200
  • 7644740dc2 css for markdown code Jon Eugster 2023-04-14 11:24:43 +0200
  • b1dc4d71b3 named Statements are added to context with there specified name Jon Eugster 2023-04-14 10:48:46 +0200
  • 0560c0100b named Statements are automatically added to inventory Jon Eugster 2023-04-13 22:25:25 +0200
  • 26239d6687 remove old Hint statements Jon Eugster 2023-04-13 20:50:34 +0200
  • db7a84c570 remove redundant imports Jon Eugster 2023-04-13 19:42:20 +0200
  • 6db53a8071 reorganise gameserver and add docstrings Jon Eugster 2023-04-13 19:18:20 +0200
  • fec4005476 nng levels Jon Eugster 2023-04-13 16:43:45 +0200
  • 66fd600462 removed old OtherGoals section Jon Eugster 2023-04-11 11:19:50 +0200
  • cd4e3bb949 NNG levels Jon Eugster 2023-04-11 11:14:36 +0200
  • a4cb28df7b level Jon Eugster 2023-04-10 14:01:53 +0200