Christian Grothoff
|
63da97630d
|
hyphentation rules for names
|
2022-02-05 08:57:49 +01:00 |
|
Christian Grothoff
|
0a459aeb13
|
fix hyphenation
|
2022-02-03 18:54:12 +01:00 |
|
Christian Grothoff
|
9780625e09
|
-more edits from Dora
|
2022-02-03 18:52:01 +01:00 |
|
ms
|
71de8b1663
|
-corrections at cbdc-it + FIXMEs
|
2022-02-02 08:14:43 +01:00 |
|
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 |
|