7 commits

Author	SHA1	Message	Date
Marc Beninca	bbd65b81f5	numbering	2020-08-15 22:15:33 +02:00
Marc Beninca	b65d94864e	fix	2020-08-15 21:54:06 +02:00
Marc Beninca	7c7139835c	epsilon	2020-08-15 21:49:14 +02:00
Marc Beninca	e87560805c	conclusion,lf	2020-08-15 21:30:21 +02:00
Marc Beninca	6a292a62a6	wip	2020-08-15 21:18:15 +02:00
Marc Beninca	43b4307e81	wip	2020-08-15 20:40:08 +02:00
Marc Beninca	53dae84a9f	wip	2020-08-15 20:35:20 +02:00