Age | Commit message (Expand) | Author |
---|---|---|
2017-05-23 | post copyright assignment | Christian Grothoff |
2017-05-04 | adding glossary to main page | Christian Grothoff |
2017-03-07 | add missing alt tag | Florian Dold |
2017-03-07 | link bibliography | Florian Dold |
2017-03-06 | boxes / minor fixes | Florian Dold |
2017-03-06 | menu structure and markup fixes | Florian Dold |
2017-03-06 | stylize logo | Florian Dold |
2017-03-06 | colors / links | Florian Dold |
2017-03-06 | conversion/text | Florian Dold |
2017-03-06 | clean up main page | Florian Dold |
2017-02-15 | show extra lang button only in responsive mode | Florian Dold |
2017-02-15 | fix responsive design language bar | Florian Dold |
2017-02-14 | fix ugly language bar | Florian Dold |
2017-02-14 | give the navbar a more look | Florian Dold |
2017-02-10 | updates to pages based on discussions with Leon and Sva | Christian Grothoff |
2017-01-30 | generate HTML with same structure as nginx serves it | Florian Dold |
2017-01-30 | remove more ssi | Florian Dold |
2017-01-30 | use templates instead of SSI, use relative URLs | Florian Dold |