add Coq typeclass index problem draft
[web.git] / ralf / _layouts / post.html
2017-07-16 Ralf Jungadd post title to subject in comment emails
2017-07-08 Ralf Jungopen some things in new tabs
2017-07-08 Ralf Jungsupport forum links in blog posts
2016-01-05 Ralf Junguse a dedicated email address for the blog stuff
2016-01-02 Ralf Jungmention the blog's name in posts' footer
2016-01-02 Ralf Jungget rid of crazy include-vars-magic and pretitles,...