- 23 Oct, 2020 1 commit
-
-
Rieks Joosten authored
-
- 15 Oct, 2020 2 commits
-
-
Rieks Joosten authored
popup texts revised; added a few terms - all for the purpose of making readers better understand texts.
-
Rieks Joosten authored
popup texts revised; added a few terms - all for the purpose of making readers better understand texts.
-
- 12 Oct, 2020 2 commits
-
-
Rieks Joosten authored
-
Rieks Joosten authored
-
- 09 Oct, 2020 3 commits
-
-
Rieks Joosten authored
-
Rieks Joosten authored
-
Rieks Joosten authored
updates of documentation - this commit has some bugs that are mentioned in (new) issues - starting from #16
-
