974 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Jon Eugster	54bab2a016	add support for images	2023-12-08 00:39:45 +01:00
Alexander Bentkamp	3f8b180b04	use pre-cleanup commit of lean4web	2023-12-07 21:38:51 +01:00
Jon Eugster	23b1074aa2	cleanup tmp files after import	2023-12-07 18:09:12 +01:00
Jon Eugster	0964a06f2f	Merge pull request #159 from Wzixiao/cache-typewriter-mode ... Add the function of caching typewriterMode	2023-12-07 16:00:19 +01:00
ran	b17c8fc4cb	remove \n in progress.ts 211 line	2023-12-07 21:45:47 +08:00
ran	0c4ae92856	Optimize the typewriterMode code logic about the game	2023-12-07 21:43:50 +08:00
ran	088711b5d1	Use 'progress' to construct the processing flow of typewriterMode	2023-12-07 21:38:15 +08:00
Jon Eugster	4c93b3a091	Update running_locally.md	2023-12-07 14:10:03 +01:00
ran	aa00e359c4	Add the function of caching typewriterMode	2023-12-07 15:06:58 +08:00
joneugster	f6a2632d80	fix error message on importing non-existing game tile	2023-12-07 02:29:56 +01:00
joneugster	f2190d648f	fix manual dependencies being added twice to svg	2023-12-07 02:28:57 +01:00
joneugster	d7fd8709cb	fix inventory sorting #158	2023-12-07 02:27:24 +01:00
joneugster	7a03c4fe0d	move landing page tiles to the games	2023-12-06 18:21:37 +01:00
Jon Eugster	333c9498f1	Update update_game.md	2023-12-01 14:50:27 +01:00
joneugster	121b36b542	bump to v4.3.0	2023-12-01 12:19:58 +01:00
Alexander Bentkamp	6bced7575b	update lean4web dependency	2023-12-01 11:32:17 +01:00
Alexander Bentkamp	d18b48db2f	make json files directly accessible	2023-11-30 20:55:03 +01:00
Alexander Bentkamp	97dc648452	use goal lctx for hints ... Closes #135	2023-11-30 20:38:25 +01:00
joneugster	472e2c66df	remove old-nng tile	2023-11-30 20:29:47 +01:00
Jon Eugster	622e9d3897	Update update_game.md v4.3.0-rc2	2023-11-30 19:32:38 +01:00
joneugster	7f91ae7da8	Merge branch 'dev'	2023-11-30 19:29:18 +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	44f7b6703e	Revert "fix variables in hints" ... This reverts commit 8851cd8b1f.	2023-11-30 12:16:06 +01:00
joneugster	8851cd8b1f	fix variables in hints	2023-11-30 11:18:56 +01:00
Alexander Bentkamp	bae360874c	json api	2023-11-30 10:51:03 +01:00
joneugster	07b6525c58	fix local setup	2023-11-30 09:20:16 +01:00
joneugster	8e8026aa38	more fixing	2023-11-29 15:17:16 +01:00
joneugster	a3a421f504	fix bubblewrap script	2023-11-29 15:14:00 +01:00
joneugster	084e25c0dc	wip on imports	2023-11-29 14:43:33 +01:00
Alexander Bentkamp	6580afb622	fix names in hints ... Fixes #135	2023-11-28 20:51:44 +01:00
joneugster	0c0a7ab400	bubblewrap test	2023-11-28 16:32:19 +01:00
joneugster	dfb2f10219	correct std version	2023-11-28 16:27:20 +01:00
Alexander Bentkamp	a57a5af111	also display loading of constants	2023-11-28 14:53:05 +01:00
joneugster	946a7fa673	update gitignore	2023-11-28 14:26:41 +01:00
Alexander Bentkamp	244c373192	model.dispose()	2023-11-28 14:05:15 +01:00
Alexander Bentkamp	374afa318a	fix gameserver path	2023-11-28 13:55:24 +01:00
joneugster	d0636b1d85	update workflow	2023-11-28 13:45:13 +01:00
joneugster	2e121363b3	update workflow	2023-11-28 13:45:13 +01:00
Alexander Bentkamp	590d68ccfb	gitignore .lake	2023-11-28 11:43:55 +01:00
Alexander Bentkamp	f6727e5c9f	loading progress	2023-11-28 11:43:32 +01:00
joneugster	241ef4b67a	bump to v4.3.0-rc2	2023-11-28 11:29:40 +01:00
joneugster	ea4250f38d	modify message of import script	2023-11-28 11:26:07 +01:00
joneugster	1d2420331d	make URL case insensitive	2023-11-28 11:05:50 +01:00
joneugster	2213862998	disable bad try catch	2023-11-27 22:48:46 +01:00
joneugster	81073b24b8	fix bubblewrap script	2023-11-27 22:42:31 +01:00
joneugster	33068f1183	improve error message	2023-11-27 22:10:15 +01:00
joneugster	8ab37d4344	disable queue	2023-11-27 22:06:16 +01:00
joneugster	9d9902cce1	edit pm2 config	2023-11-27 21:29:22 +01:00
joneugster	f53316c591	fix paths	2023-11-27 20:57:18 +01:00