Justin Hsu 7aebac9d84 Shrink font a bit.		2018-05-03 02:10:48 -04:00
..
about.md	Typo.	2018-03-24 19:49:19 -04:00
biblio.md	Merge publication lists.	2017-11-09 02:45:28 +00:00
body.md	Add journals to website.	2016-02-18 23:42:29 -05:00
contacts.md	Shrink font a bit.	2018-05-03 02:10:48 -04:00
footer.md	Use https for links.	2017-11-14 16:12:39 +00:00
news.md	Update ICALP acceptance.	2018-04-16 10:32:04 -04:00