projects / web.git / history
| 2016-12-19 | Ralf Jung | update papers | tree | commitdiff |
| 2016-10-11 | Ralf Jung | we dont actually have an appendix for the refinement... | tree | commitdiff |
| 2016-10-11 | Ralf Jung | papers update: add ICFP talk; add refinement paper | tree | commitdiff |
| 2016-07-01 | Ralf Jung | it's ICFP 2016 | tree | commitdiff |
| 2016-06-14 | Ralf Jung | ICFP paper has been accepted :D | tree | commitdiff |
| 2016-03-17 | Ralf Jung | add HOGS | tree | commitdiff |
| 2016-01-13 | Ralf Jung | *oops* typo | tree | commitdiff |
| 2016-01-13 | Ralf Jung | add link to RustBelt page | tree | commitdiff |
| 2016-01-02 | Ralf Jung | split CSS into several files; take some CSS from the... | tree | commitdiff |
| 2015-10-12 | Ralf Jung | fix research page | tree | commitdiff |
| 2015-10-12 | Ralf Jung | research: add link to research category of my blog | tree | commitdiff |
| 2015-10-09 | Ralf Jung | make a research page happen | tree | commitdiff |
| 2015-10-09 | Ralf Jung | prepare for having two sites: personal and research | tree | commitdiff |