5 commits

Author	SHA1	Message	Date
Luc Vandenbroucke	333028a93a	Project rename	2020-01-16 08:09:14 +01:00
Luc Vandenbroucke	e3f60dff9b	final luc 2018.02.14	2019-02-14 13:37:21 +01:00
Luc Vandenbroucke	a09fd43842	task repair 1	2019-02-05 16:50:11 +01:00
Luc Vandenbroucke	52ff9984b2	changes isabelle 29/01	2019-01-29 15:34:18 +01:00
Luc Vandenbroucke	be859847c7	Luc	2019-01-25 14:11:25 +01:00