all changes #1

Manually merged

adbrucker merged 2 commits from nicolas.meric/Isabelle_DOF:eclectic-tutorial-add-todos-fix-typos into master

2021-07-02 15:33:34 +00:00

Author	SHA1	Message	Date
Achim D. Brucker	9569113f9b	Merge branch 'master' into eclectic-tutorial-add-todos-fix-typos	2021-07-02 17:27:26 +02:00
Nicolas Méric	f11e5b762b	all changes	2021-06-01 14:51:22 +02:00