justhsu/justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • 9fc0e0a5fd Format author names. Justin Hsu 2015-02-05 17:52:55 +01:00
  • f700124ccf Use Last, First ordering on authors. Justin Hsu 2015-02-05 17:52:32 +01:00
  • 2d330f59fb Add a bit more padding around banner. Justin Hsu 2015-01-26 15:42:15 +01:00
  • a461ca85d2 Update contacts and news. Justin Hsu 2015-01-26 15:38:12 +01:00
  • 3f86aaae9d Add POPL slides. Justin Hsu 2015-01-26 15:37:55 +01:00
  • 13aaf3fa14 Bold some links. Justin Hsu 2015-01-12 16:17:38 +01:00
  • 5f30eeafbc Correctly capitalize arXiv. Justin Hsu 2015-01-12 15:36:52 +01:00
  • 130e17daee Add SNAPL drafts, update website. Justin Hsu 2015-01-12 15:35:38 +01:00
  • 166ce8b6af Fix CSS to work on mobile screens. Justin Hsu 2015-01-05 21:36:11 -08:00
  • 45b881de51 Add link. Justin Hsu 2015-01-05 21:21:36 -08:00
  • 913996c8f5 Fix deploy problems. Justin Hsu 2015-01-04 23:50:50 -08:00
  • 97d1fce474 Punctuation. Justin Hsu 2015-01-04 23:50:41 -08:00
  • 6bcab7ce96 Makefile and deploy. Justin Hsu 2015-01-04 22:20:06 -08:00
  • f030608c0d Typo. Justin Hsu 2015-01-04 20:50:33 -08:00
  • 58bd141f8d .gitignore. Justin Hsu 2015-01-04 20:44:07 -08:00
  • eb2315d12a Add pdfs. Justin Hsu 2015-01-04 20:44:01 -08:00
  • cc7021ac4e Initial version of site almost ready. Justin Hsu 2015-01-04 20:43:45 -08:00
  • f4ac1192f4 .gitignore. Justin Hsu 2015-01-03 14:23:36 -08:00
  • 405604d03e Initial commit. Justin Hsu 2015-01-03 14:23:27 -08:00