Age | Commit message (Expand) | Author |
---|---|---|
2020-09-20 | add jp | Christian Grothoff |
2020-09-16 | snack launch | Christian Grothoff |
2020-08-20 | add thesis from Wenger | Christian Grothoff |
2020-07-02 | add CB report | Christian Grothoff |
2020-06-12 | add Anastasis thesis | Christian Grothoff |
2020-03-31 | v0.7.0 release announcement | Christian Grothoff |
2020-03-27 | update news for April | Christian Grothoff |
2019-12-25 | add small documentation for news system. add initial draft for 0.6.0 rel. | ng0 |
2019-12-10 | merge new website generation. | ng0 |