5 Commits

Author	SHA1	Message	Date
Felix Roos	91c0a46ba9	add euclid	2022-03-17 15:03:57 +01:00
Felix Roos	acd07c31ff	started mini notation highlighting ... currently deactivated by addMiniLocations flag	2022-02-20 23:46:45 +01:00
Felix Roos	ef9527d691	add "!" and "_" to mini notation	2022-02-16 20:10:00 +01:00
Felix Roos	ffffca8cdc	allow "^" in mini notation step	2022-02-12 22:56:03 +01:00
Felix Roos	2062e4233e	add poc for krill parsing	2022-02-06 12:41:20 +01:00