3 commits

Author	SHA1	Message	Date
Felix Roos	975a198ee9	whole docs now run new repl ... - move MicroRepl code to MiniRepl - fix a ssr bug	2023-12-28 20:36:23 +01:00
Bernhard Wagner	9dbf52bedb	ADDS: Continuation to Pattern Alignment	2023-02-16 15:20:26 +01:00
Felix Roos	d7ea37c917	add technical manual to docs	2022-12-26 22:43:02 +01:00