4 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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