projects
/
web.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
links to POPL'18 talk
2015-10-12
Ralf Jung
feed: fix XML, add ID
commit
|
commitdiff
|
tree
2015-10-12
Ralf Jung
add categories
commit
|
commitdiff
|
tree
2015-10-12
Ralf Jung
more Rust post tuning
commit
|
commitdiff
|
tree
2015-10-12
Ralf Jung
Rust post tuning
commit
|
commitdiff
|
tree
2015-10-12
Ralf Jung
Rust post: tuning, spell checking, publication
commit
|
commitdiff
|
tree
2015-10-11
Ralf Jung
some work on the Rust post
commit
|
commitdiff
|
tree
2015-10-11
Ralf Jung
only show a post excerpt in the blog index
commit
|
commitdiff
|
tree
2015-10-11
Ralf Jung
first version of rust post
commit
|
commitdiff
|
tree
2015-10-09
Ralf Jung
typo
commit
|
commitdiff
|
tree
2015-10-09
Ralf Jung
get rid of blog description; more welcome fixes
commit
|
commitdiff
|
tree
2015-10-09
Ralf Jung
more uniformity for blog post headers; change link...
commit
|
commitdiff
|
tree
2015-10-09
Ralf Jung
make a research page happen
commit
|
commitdiff
|
tree
2015-10-09
Ralf Jung
fix welcome post
commit
|
commitdiff
|
tree
2015-10-09
Ralf Jung
start honoring baseurl again; crazy hackery to get...
commit
|
commitdiff
|
tree
2015-10-09
Ralf Jung
prepare for having two sites: personal and research
commit
|
commitdiff
|
tree
2015-10-09
Ralf Jung
make sure vertical scrollbar is always shown
commit
|
commitdiff
|
tree
2015-10-09
Ralf Jung
*oops* fix date
commit
|
commitdiff
|
tree
2015-10-09
Ralf Jung
publish blog post: Breaking All the Way Out
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
tuning, tuning, tuning the spaces...
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
research: re-add missing image
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
project link can now be found in menu
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
also upload to MPI server
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
index typo
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
upload script
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
make better use of medium width; more menu space tuning
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
fix dates of posts
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
make the page layout general enough to cover posts...
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
move the link to Breaking All the Way Out to a blogpost
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
add my research page; make its links absolute; tune...
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
index: English first; redirect: use my fonts
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
make blog titles clickable; some more style tunes
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
make the new style also work for blog posts
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
develop a new style
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
fix typos and HTML
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
make sure we extract something sensible as slug from...
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
write welcome blog post
commit
|
commitdiff
|
tree
2015-10-08
Ralf Jung
prepare things for a blog
commit
|
commitdiff
|
tree
2015-10-07
Ralf Jung
blog index meta-info
commit
|
commitdiff
|
tree
2015-10-07
Ralf Jung
more careful sorting of the menu; readme generator...
commit
|
commitdiff
|
tree
2015-10-07
Ralf Jung
add CS redirect page; tiny projects page change
commit
|
commitdiff
|
tree
2015-10-07
Ralf Jung
generate readme pages through a plugin
commit
|
commitdiff
|
tree
2015-10-07
Ralf Jung
use the Jekyll pages information to create the menu
commit
|
commitdiff
|
tree
2015-10-07
Ralf Jung
change the way we expect the header to look in the...
commit
|
commitdiff
|
tree
2015-10-07
Ralf Jung
blog title & description
commit
|
commitdiff
|
tree
2015-10-07
Ralf Jung
get the content styled again
commit
|
commitdiff
|
tree
2015-10-07
Ralf Jung
re-do the layout: use SCSS, put the boxes differently...
commit
|
commitdiff
|
tree
2015-10-07
Ralf Jung
port projects file to markdown
commit
|
commitdiff
|
tree
2015-10-06
Ralf Jung
try harder not to have spaces in the menu; fix project...
commit
|
commitdiff
|
tree
2015-10-06
Ralf Jung
compute the menu recursively; put it between title...
commit
|
commitdiff
|
tree
2015-10-06
Ralf Jung
a first version of my site proted to jekyll
commit
|
commitdiff
|
tree