Age | Commit message (Expand) | Author |
---|---|---|
2022-02-07 | -final changes from Dora | Christian Grothoff |
2022-02-06 | merge more improvements from Dora | Christian Grothoff |
2022-02-05 | hyphentation rules for names | Christian Grothoff |
2022-02-03 | fix hyphenation | Christian Grothoff |
2022-02-03 | -more edits from Dora | Christian Grothoff |
2022-02-03 | -fix amp | Christian Grothoff |
2022-02-02 | -corrections at cbdc-it + FIXMEs | ms |
2022-02-01 | -more fixes from Dora | Christian Grothoff |
2022-02-01 | diagramma | Christian Grothoff |
2022-02-01 | luca | Christian Grothoff |
2022-02-01 | -corrections from Dora | Christian Grothoff |
2022-02-01 | corrections from Dora | Christian Grothoff |
2022-01-31 | cbdc-it | Christian Grothoff |