171 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Alexander Bentkamp	f98ff9fa10	lake exe cache get	2023-01-19 17:00:16 +01:00
Alexander Bentkamp	206152a07c	save progress in local storage	2023-01-19 16:10:08 +01:00
Jon Eugster	8dd3c09339	Merge branch 'main' of github.com:leanprover-community/lean4game	2023-01-19 15:44:08 +01:00
Jon Eugster	e9ec48ef44	changes to levels	2023-01-19 15:44:04 +01:00
Jon Eugster	9d1a591670	changes to levels	2023-01-19 15:43:29 +01:00
Jon Eugster	01e2b3b4a1	bump mathlib	2023-01-19 15:43:11 +01:00
Alexander Bentkamp	5fa49551ee	keep alive message for websocket	2023-01-19 15:18:58 +01:00
Jon Eugster	2efdfe3d07	format navigation buttons	2023-01-19 14:02:10 +01:00
Jon Eugster	adcc6a06c7	level modifications	2023-01-19 13:52:01 +01:00
Alexander Bentkamp	fd0c421d84	home button	2023-01-19 12:29:07 +01:00
Jon Eugster	5b021f5981	Add dummy levels	2023-01-19 12:17:00 +01:00
Jon Eugster	420f913e69	reorganise world Implication	2023-01-19 12:01:59 +01:00
Jon Eugster	966db8a159	typos	2023-01-17 15:48:56 +01:00
Jon Eugster	1eb0ac63e3	Modified starter level.	2023-01-17 15:30:49 +01:00
Alexander Bentkamp	b02d55de34	track completed levels	2023-01-09 17:00:15 +01:00
Alexander Bentkamp	9f19352047	insert proper keys in lists	2022-12-23 09:14:58 +01:00
Alexander Bentkamp	49159c9761	useEditorUri, hide server crash messages	2022-12-22 16:11:27 +01:00
Alexander Bentkamp	53bed75036	fix bug of nonupdating level title	2022-12-21 15:16:38 +01:00
Jon Eugster	2f0af5f472	Merge branch 'main' of github.com:leanprover-community/lean4game	2022-12-21 13:40:46 +01:00
Jon Eugster	81e048320a	update node packages	2022-12-21 13:40:38 +01:00
Alexander Bentkamp	306c76e500	jump to end position when loading a level	2022-12-21 12:42:08 +01:00
Alexander Bentkamp	fd59e2067b	loading icon for goals	2022-12-21 12:37:50 +01:00
Jon Eugster	efd77ac37b	merge	2022-12-21 11:42:14 +01:00
Jon Eugster	219c574fd5	upgrade and level typos	2022-12-21 11:32:50 +01:00
Alexander Bentkamp	adc6284d4c	unmount editor properly	2022-12-20 17:24:36 +01:00
Alexander Bentkamp	4fd5710b9d	use correct jsx capitalization	2022-12-20 16:32:19 +01:00
Alexander Bentkamp	56bf360ef5	close rpc sessions properly	2022-12-20 12:45:44 +01:00
Alexander Bentkamp	ad6f907d17	load number of levels from server	2022-12-20 12:06:35 +01:00
Jon Eugster	af2416b97a	update ecosystem.config.js	2022-12-19 14:43:31 +01:00
Alexander Bentkamp	3117182494	fix dockerfile	2022-12-19 14:11:28 +01:00
Alexander Bentkamp	860a608399	data?	2022-12-19 13:56:47 +01:00
Jon	44b8edbec3	updates	2022-12-18 02:28:50 +01:00
Jon	ac29c83e79	show global errors when no goals present.	2022-12-16 16:09:09 +01:00
Jon	ef1973c50b	updating Logic world	2022-12-16 14:05:57 +01:00
Alexander Bentkamp	91c77a0d93	set titles	2022-12-15 14:18:21 +01:00
Alexander Bentkamp	340700aba4	check completed when changing level	2022-12-15 14:02:24 +01:00
Alexander Bentkamp	bbfb6f8f5e	use ReactMarkdown plugins	2022-12-15 13:40:45 +01:00
Alexander Bentkamp	ada40dcf34	Merge branch 'main' of github.com:hhu-adam/lean4game	2022-12-15 12:04:43 +01:00
Alexander Bentkamp	9a4abe6f80	dispose editor	2022-12-15 12:04:40 +01:00
Jon Eugster	bb034c6984	level update	2022-12-14 21:10:55 +01:00
Jon Eugster	cf8aaa0673	improved InfoView	2022-12-14 20:27:17 +01:00
Alexander Bentkamp	08c6ab897c	reliable level completed message	2022-12-14 16:59:46 +01:00
Alexander Bentkamp	60b09c81fe	diagnostics for simple infoview	2022-12-14 16:31:48 +01:00
Alexander Bentkamp	3fd3a12370	Merge branch 'main' of github.com:hhu-adam/lean4game	2022-12-14 15:30:57 +01:00
Alexander Bentkamp	e88dc0eb71	unify hints and messages	2022-12-14 15:30:54 +01:00
Jon Eugster	6bb758c666	fixing text wrap in side panel.	2022-12-14 15:11:04 +01:00
Jon Eugster	cacab5336e	merge	2022-12-14 14:43:50 +01:00
Jon Eugster	802d748bf4	collapsable side panel	2022-12-14 14:39:37 +01:00
Alexander Bentkamp	32b9d028a7	save state of code	2022-12-14 14:02:57 +01:00
Alexander Bentkamp	4114cbc304	remove button	2022-12-14 12:23:42 +01:00