Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• ae3a75aa9e Preview target. Justin Hsu 2015-02-20 18:25:30 +01:00
• 7d2c1cc271 Update SNAPL publication. Justin Hsu 2015-02-20 18:25:17 +01:00
• 77864bdec1 Add EC and IJCAI submissions to site. Justin Hsu 2015-02-16 12:06:30 +01:00
• 4177507f99 Merge? Justin Hsu 2015-02-06 17:10:24 +01:00
• 238a99be42 Switch back to smaller fonts. Justin Hsu 2015-02-06 16:50:53 +01:00
• a5bd2f0292 Adjust base line height. Justin Hsu 2015-02-05 18:22:53 +01:00
• 73b7c3fdaf Ignore site binary. Justin Hsu 2015-02-05 18:19:54 +01:00
• a1d999a150 Make font size larger. Justin Hsu 2015-02-05 17:53:02 +01:00
• 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