2012-12-22 Christian Urban added
2012-12-22 Christian Urban typo
2012-12-22 Christian Urban typos
2012-12-20 Christian Urban dded
2012-12-03 Christian Urban updated
2012-12-03 Christian Urban tuned
2012-12-03 Christian Urban added dates
2012-11-18 Christian Urban tuned
2012-11-17 Christian Urban tuned
2012-11-17 Christian Urban updated
2012-11-17 Christian Urban updated
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban added
2012-11-04 Christian Urban added
2012-10-19 Christian Urban tuned
2012-10-01 Christian Urban typo
2012-09-24 Christian Urban tuned
2012-09-24 Christian Urban tuned
2012-09-24 Christian Urban tuned
2012-09-24 Christian Urban added polls
2012-09-20 Christian Urban tuned
2012-09-14 Christian Urban tuned
2012-09-13 Christian Urban tuned
2012-09-12 Christian Urban tuned
2012-09-12 Christian Urban tuned
2012-09-11 Christian Urban added project
2012-09-10 Christian Urban added project
2012-09-06 Christian Urban tuned
2012-09-06 Christian Urban tuned
2012-09-05 Christian Urban added comment
2012-08-31 Christian Urban tuned
2012-08-29 Christian Urban tuned
2012-08-27 Christian Urban tuned
2012-08-26 Christian Urban tuned
2012-08-26 Christian Urban tuned
2012-08-21 Christian Urban added
2012-08-19 Christian Urban tuned
2012-08-15 Christian Urban tuned
2012-08-04 Christian Urban added authors
2012-08-01 Christian Urban added mphil
2012-07-08 Christian Urban updated
2012-06-29 Christian Urban added links
2012-06-21 Christian Urban updated
2012-06-21 Christian Urban updated
2012-06-12 Christian Urban updated
2012-06-12 Christian Urban updated
2012-06-12 Christian Urban updated
2012-06-12 Christian Urban added link to sudoku
2012-05-24 Christian Urban updated
2012-05-14 Christian Urban new version
2012-05-12 Christian Urban tuned
2012-05-12 Christian Urban added Nominal2-Isabelle2012
2012-05-11 Christian Urban new version
(0) -100 -60 +60 +100 +300 tip