6 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
a-Sim	3806182347	'typo'	2023-11-12 23:43:34 +01:00
a-Sim	d69e3ee442	added lec03	2023-11-12 18:55:33 +01:00
a-Sim	3a93a40aa6	added varepsilon and bem*	2023-11-12 18:53:19 +01:00
christian	ff678c3b5c	fix typo	2023-10-25 19:13:28 +02:00
christian	215e46c904	introduce spec command	2023-10-25 19:05:49 +02:00
christian	ade44859f8	copied from personal repo	2023-10-25 18:57:20 +02:00