From 5f30eeafbc8cd38cfd2c369c571f7439a512f8bc Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Mon, 12 Jan 2015 15:36:52 +0100 Subject: [PATCH] Correctly capitalize arXiv. --- content/news.md | 2 +- templates/bibitemtpl.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/content/news.md b/content/news.md index 5f1c9cb..0eb23ea 100644 --- a/content/news.md +++ b/content/news.md @@ -1,6 +1,6 @@ + **01/2015** Our abstract **Death, Taxes, and Formal Verification** has been uploaded. + **01/2015** Our paper **A Theory AB Toolbox** has been uploaded. + **11/2014** Our paper **Jointly private convex programming** has been uploaded to - `arxiv`. + `arXiv`. + **09/2014** Our paper **Higher-order refinement types for mechanism design and differential privacy** has been accepted to POPL 2015! diff --git a/templates/bibitemtpl.html b/templates/bibitemtpl.html index bedcc55..c45fa84 100644 --- a/templates/bibitemtpl.html +++ b/templates/bibitemtpl.html @@ -8,7 +8,7 @@ In $booktitle$.
$endif$ $if(eprint)$ - [ArXiV] + [arXiv] $endif$ $if(docs)$ [Paper]