Replace products by arXiv version.

2016-07-14 16:17:46 +02:00
parent d16702010f
commit e37e275d69
3 changed files with 4 additions and 3 deletions
@@ -1,7 +1,7 @@
+ **07/2016** Our preprint **Coupling proofs are probabilistic product
+  programs** is now available on `arXiv`.
 + **07/2016** Slides now available for  **Proving differential privacy via
  probabilistic couplings**.
-+ **07/2016** Our preprint **Coupling proofs are probabilistic product
-  programs** is now available.
 + **07/2016** An updated version of our preprint **Formal verification of
  randomized algorithms** is now available.
 + **07/2016** Our preprint **A semantic account of metric preservation** is now