14 Commits (3f433507db399c7b5a52c9006fe573f1315e4824)

Author	SHA1	Message	Date
Alexander Bentkamp	3f433507db	remove TacticSet command ... This is not necessary because there aren't that many tactics	3 years ago
Alexander Bentkamp	8c4b995a32	rename message to hint	3 years ago
Alexander Bentkamp	719b8d2964	World names ... Closes #7	3 years ago
Alexander Bentkamp	6e0469d3bf	world titles	3 years ago
Jon Eugster	e14c28839a	merge again	4 years ago
Jon Eugster	46848d8a93	merge addition of Lemma statements	4 years ago
Jon Eugster	17792e1a01	Add Support for lemma statement.	4 years ago
Jon Eugster	649a5d2dfb	Add hints.	4 years ago
Alexander Bentkamp	0a495984aa	check trigger for messages	4 years ago
Alexander Bentkamp	91d41cdd6d	define paths	4 years ago
Alexander Bentkamp	bc9531a9c2	add worlds	4 years ago
Alexander Bentkamp	f6bf1924ff	save and load levels as syntax	4 years ago
Alexander Bentkamp	d5fcf148fe	load level	4 years ago
Alexander Bentkamp	732754c9fc	rework build process	4 years ago