6 Commits

Author	SHA1	Message	Date
Christian Grothoff	bde9bdb38d	-more fixes from Dora	2022-02-01 17:53:50 +01:00
Christian Grothoff	f7162e756c	diagramma	2022-02-01 12:36:21 +01:00
Christian Grothoff	a0dd2de662	luca	2022-02-01 11:32:28 +01:00
Christian Grothoff	fc397f2634	-corrections from Dora	2022-02-01 10:04:59 +01:00
Christian Grothoff	5ea4e5b122	corrections from Dora	2022-02-01 09:35:28 +01:00
Christian Grothoff	649c6b6f72	cbdc-it	2022-01-31 17:11:13 +01:00