phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
879 Commits 19 Branches 10 Tags
e277a48749dc43ca297a9878ff9b43106bcf9c22
Commit Graph
29 Commits
Author SHA1 Message Date
Jon Eugster e277a48749 add changelog file 2024-01-18 14:19:32 +01:00
Jon Eugster 7882958f54 Update update_game.md 2023-12-18 16:20:26 +01:00
Jon Eugster c4f4dbdc6b update doc #171 2023-12-15 00:04:54 +01:00
Jon Eugster 5f52e23f29 Update hints.md 2023-12-11 16:04:37 +01:00
Jon Eugster 004f81835f write more docs 2023-12-09 23:34:39 +01:00
Jon Eugster 63cf5e8b72 update docs 2023-12-09 22:09:05 +01:00
Jon Eugster e02e73c1c0 Update DOCUMENTATION.md 2023-12-08 02:17:30 +01:00
Jon Eugster c82a88867f Update create_game.md 2023-12-08 02:12:09 +01:00
Jon Eugster 8b43aed596 Update publish_game.md 2023-12-08 01:57:47 +01:00
Jon Eugster 4c93b3a091 Update running_locally.md 2023-12-07 14:10:03 +01:00
Jon Eugster 333c9498f1 Update update_game.md 2023-12-01 14:50:27 +01:00
Jon Eugster 622e9d3897 Update update_game.md 2023-11-30 19:32:38 +01:00
joneugster 28a7c65db2 update doc, including #148 2023-11-30 19:26:42 +01:00
joneugster 56525c6234 update doc 2023-11-30 17:39:29 +01:00
joneugster 427ce43e95 fix import mechanism 2023-11-27 17:22:02 +01:00
joneugster c706b66af1 update doc to use -K option for local setup 2023-11-14 21:52:23 +01:00
Jon Eugster 933394bb6f Update running_locally.md 2023-11-10 11:16:25 +01:00
Jon Eugster e09c016c4c Update update_game.md 2023-11-10 11:15:53 +01:00
Jon Eugster 06d9656e88 Update running_locally.md 2023-11-09 17:30:48 +01:00
Jon Eugster d71b895550 Update create_game.md 2023-11-09 17:20:47 +01:00
Jon Eugster 21070af13c Update create_game.md 2023-11-09 17:20:13 +01:00
Jon Eugster 2b9f791655 Create update_game.md 2023-11-09 17:18:02 +01:00
Jon Eugster 51ca5354dc Update running_locally.md 2023-11-09 17:04:17 +01:00
Jon Eugster ebcde9d588 Update create_game.md 2023-11-09 16:54:06 +01:00
Pietro Monticone c4dc48292a Update running_locally.md 2023-10-26 17:19:44 +02:00
Pietro Monticone d3a450f5b1 Update npm_scripts.md 2023-10-26 17:19:40 +02:00
Pietro Monticone fe8f8b6df3 Update DOCUMENTATION.md 2023-10-26 17:19:37 +02:00
Pietro Monticone 207bb88c59 Update create_game.md 2023-10-26 17:19:33 +02:00
joneugster 19592668ae documentation 2023-10-17 02:06:32 +02:00