2015-10-08 | Ralf Jung | fix typos and HTML | blob | commitdiff | raw |
2015-10-07 | Ralf Jung | add CS redirect page; tiny projects page change | blob | commitdiff | raw | diff to current |
2015-10-07 | Ralf Jung | port projects file to markdown | blob | commitdiff | raw | diff to current |
2015-10-06 | Ralf Jung | try harder not to have spaces in the menu; fix project... | blob | commitdiff | raw | diff to current |
2015-10-06 | Ralf Jung | compute the menu recursively; put it between title... | blob | commitdiff | raw | diff to current |