From: Vladimir Voevodsky <vladimir @ ias . edu>
Date: Sun, 2 Aug 2015 18:10:26 +0000 (+0700)
Subject: The link to Voevodsky's webpage in README updated
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=9ed8a85a69284ad1d065379bbcd011c742eac0b3;p=cubicaltt.git

The link to Voevodsky's webpage in README updated
---

diff --git a/README.md b/README.md
index cdb4a62..d2129ad 100644
--- a/README.md
+++ b/README.md
@@ -52,8 +52,8 @@ directory will be taken as the search path for the imports.
 References and notes
 --------------------
 
- * Voevodsky's page on [univalent
-   foundations](http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html)
+ * Voevodsky's lectures and texts on [univalent
+   foundations](http://www.math.ias.edu/vladimir/home)
 
  * HoTT book and webpage:
    [http://homotopytypetheory.org/](http://homotopytypetheory.org/)