papers update: add ICFP talk; add refinement paper
[web.git] / personal / blog / index.html
2016-01-02 Ralf Jungdamnit, the Blog root pages had lost their title.....
2016-01-02 Ralf Jungget rid of crazy include-vars-magic and pretitles,...
2015-10-12 Ralf Jungadd categories
2015-10-11 Ralf Jungonly show a post excerpt in the blog index
2015-10-09 Ralf Jungmore uniformity for blog post headers; change link...
2015-10-09 Ralf Jungstart honoring baseurl again; crazy hackery to get...
2015-10-09 Ralf Jungprepare for having two sites: personal and research