From 9ed8a85a69284ad1d065379bbcd011c742eac0b3 Mon Sep 17 00:00:00 2001
From: Vladimir Voevodsky <vladimir @ ias . edu>
Date: Mon, 3 Aug 2015 01:10:26 +0700
Subject: [PATCH] The link to Voevodsky's webpage in README updated

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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/)
-- 
2.34.1