jaseg
|
5f041bb0ce
|
Last changes to changes letter
|
2021-07-16 13:22:14 +02:00 |
|
jaseg
|
a3bdf3fbcc
|
Finish changes letter
|
2021-07-16 13:17:26 +02:00 |
|
jaseg
|
3c701a26ff
|
Mehr Schleim.
|
2021-07-16 13:06:46 +02:00 |
|
jaseg
|
aa05b1dd6e
|
Include Björn's remarks, spellcheck
|
2021-07-15 11:41:32 +02:00 |
|
jaseg
|
21520789fc
|
cover letter: fix conference numbering
|
2021-07-13 16:54:37 +02:00 |
|
jaseg
|
692015daf0
|
Add dots to cover letter headings
|
2021-07-13 16:53:29 +02:00 |
|
jaseg
|
f08eea06ee
|
Some more minor changes for submission
|
2021-07-13 15:28:55 +02:00 |
|
jaseg
|
61f4b840bc
|
Improve comment handling of diff tool
|
2021-07-13 13:56:46 +02:00 |
|
jaseg
|
f14b83d064
|
Work on changes letter
|
2021-07-13 13:25:03 +02:00 |
|