463 Commits (dd6a1380a1271f437a3d47b60742617f7e5023e9)

Author	SHA1	Message	Date
Alexander Bentkamp	7ae299870b	use LeanClient	4 years ago
Alexander Bentkamp	7e78445c43	import editor	4 years ago
Alexander Bentkamp	d5fcf148fe	load level	4 years ago
Alexander Bentkamp	9a86adb17e	rudimentary info request	4 years ago
Alexander Bentkamp	5e64ef848d	use wss protocol	4 years ago
Alexander Bentkamp	d2fd1c5915	convert tabs to spaces	4 years ago
Alexander Bentkamp	054e28c1ec	communicate via JSON RPC	4 years ago
Alexander Bentkamp	796ebfeaab	experiment with json rpc on client	4 years ago
Alexander Bentkamp	6863e10790	convert all files to typescript	4 years ago
Alexander Bentkamp	e175733b44	make typescript compilation work	4 years ago
Alexander Bentkamp	039464924d	use one server for both http and ws	4 years ago
Alexander Bentkamp	732754c9fc	rework build process	4 years ago
Alexander Bentkamp	7563730292	init ... initalize repo Co-authored-by: Patrick Massot PatrickMassot@users.noreply.github.com	4 years ago