|
|
0c6591ea90
|
moved to serif
|
2020-04-01 13:13:58 +02:00 |
|
|
|
bf5b21413d
|
fixed a lot of stuff
|
2020-03-30 09:59:57 +02:00 |
|
|
|
361167f5de
|
fixed some stuff as suggested by Simon
|
2020-03-27 15:38:43 +01:00 |
|
|
|
debcc57738
|
significantly improved time measurements
|
2020-03-24 19:27:00 +01:00 |
|
|
|
0cd2dfa8b4
|
some work on performance stuff
|
2020-03-23 19:32:17 +01:00 |
|
|
|
d03c076c8e
|
some work on the plots
|
2020-03-14 14:54:22 +01:00 |
|
