phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
694 Commits 19 Branches 10 Tags
165c0e176aab21da745f461bb366c3608a0451ef
Commit Graph
694 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Alexander Bentkamp 161c88d58f delete temporary files after import 2023-05-09 13:44:19 +02:00
Alexander Bentkamp cf5783f2e4 remove alternative import 2023-05-09 12:19:06 +02:00
Alexander Bentkamp 035a66c930 more import 2023-05-09 12:17:53 +02:00
Alexander Bentkamp 76ce856082 import experimentation 2023-05-09 12:17:53 +02:00
Jon Eugster 2a81c67675 landing page css and text 2023-05-09 12:01:27 +02:00
Jon Eugster ab0cb5ba3d complete upload and download functionality 2023-05-08 17:49:56 +02:00
Jon Eugster a52f10ab11 add menu to delete game progress 2023-05-08 13:07:14 +02:00
Alexander Bentkamp 9514e558ad fix build.sh for real 2023-05-05 14:42:49 +02:00
Alexander Bentkamp b222cff665 fix build.sh 2023-05-05 14:33:55 +02:00
Alexander Bentkamp 105dd39f12 update build script 2023-05-05 14:11:33 +02:00
Jon Eugster b703752f3a css and typo 2023-05-04 19:30:53 +02:00
Jon Eugster 6582d4e625 update css 2023-05-04 17:34:57 +02:00
Jon Eugster 048f3a8c0e change colour of github icon 2023-05-04 16:14:21 +02:00
Jon Eugster 7929fb2dfe add_log_messages 
add log messages
 2023-05-04 16:11:00 +02:00
Jon Eugster 7c65025598 add-imports 2023-05-04 16:09:44 +02:00
Jon Eugster 93b02883b3 typo 2023-05-04 16:05:14 +02:00
Jon Eugster c4e63687c0 add log messages 2023-05-04 16:03:16 +02:00
Jon Eugster 9d1c5cb512 fix viewport scale 2023-05-04 15:29:13 +02:00
Jon Eugster f17d56d7e5 css landing page 2023-05-04 14:54:43 +02:00
Alexander Bentkamp eaf0d13c2f make game directory more configurable 2023-05-04 11:48:32 +02:00
Jon Eugster dd7f1a8e20 landing page 2023-05-03 14:36:39 +02:00
Jon Eugster a0a3438bee update npm and install new module 2023-05-03 14:36:39 +02:00
Jon Eugster 0b82f8f24e Update README.md 2023-05-01 16:56:25 +02:00
Jon Eugster e0c249c686 fix inventory css 2023-04-28 19:35:36 +02:00
Jon Eugster 300849d5d1 Update README.md 2023-04-28 18:52:30 +02:00
Jon Eugster c288c98657 add docs 2023-04-28 18:17:10 +02:00
Jon Eugster fd3a543dcd css colour change 2023-04-28 13:13:16 +02:00
Jon Eugster 48ba131d2c fix bug for marking new inventory items 2023-04-28 13:01:38 +02:00
Jon Eugster e3c14256fb revert attributes for statements 2023-04-28 12:43:10 +02:00
Jon Eugster ebcc1df171 add syntax for attr in statements; add new key to computed inventory items. 2023-04-28 12:39:24 +02:00
Jon Eugster d837344797 fix 2023-04-26 01:52:21 +02:00
Jon Eugster 759e9722f8 typo 2023-04-26 01:43:42 +02:00
Jon Eugster 8246ae6eac change folder structure 2023-04-26 01:31:35 +02:00
Jon Eugster 2097eddb2f factor out adam game 2023-04-26 00:46:32 +02:00
Jon Eugster f9614b3bcd ignore server/ when building webpack 2023-04-25 21:27:08 +02:00
Jon Eugster cddb28fe73 extract NNG 2023-04-25 20:47:11 +02:00
Jon Eugster a8909cb6bb Merge branch 'main' of github.com:leanprover-community/lean4game 2023-04-25 20:46:23 +02:00
Jon Eugster b94632cf0b wip 2023-04-25 20:17:14 +02:00
Kevin Buzzard 79c04a1bff add comment about alternative le definition 2023-04-25 18:09:20 +01:00
Kevin Buzzard a116a10050 add explanation of the instances 2023-04-25 18:05:48 +01:00
Jon Eugster 9fa94ecc5c Update CREATE_GAME.md 2023-04-25 18:13:07 +02:00
Jon Eugster 6c7ac9840f rudimentary documentation 2023-04-25 18:10:48 +02:00
Jon Eugster 5f0d25867e typo 2023-04-25 17:29:07 +02:00
Jon Eugster fd8c11b3d6 hardcode interface elements in English 2023-04-25 16:28:33 +02:00
Jon Eugster 0ea112c29e fix 2023-04-25 14:13:18 +02:00
Jon Eugster 1a9a299ed6 Merge branch 'main' of github.com:leanprover-community/lean4game 2023-04-25 14:06:29 +02:00
Jon Eugster b1a53aba05 NNG progress 2023-04-25 14:06:17 +02:00
Jon Eugster f8ae5795cb client modifications 2023-04-25 14:05:44 +02:00
Jon Eugster 58e488017e Update README.md 2023-04-22 14:31:27 +02:00
Jon Eugster b6715bcbff add global options to the games (disbable tactic.hygienic) 2023-04-20 15:45:06 +02:00