Commit Graph

7 Commits

Author SHA1 Message Date
85d6e6b172 clean up results 2019-09-19 22:31:59 +02:00
1701e11803 cleanup SI 2019-09-17 16:55:16 +02:00
1da978e486 Theory section done 2019-09-09 11:44:30 +02:00
6766543ef0 work under progress 2019-09-06 17:26:37 +02:00
ebd57ab298 refs 2019-08-23 20:19:25 +02:00
d207657ff5 new refs 2019-06-23 15:34:57 +02:00
981cccf85f First commit 2019-06-16 22:35:10 +02:00