From: mortberg Date: Tue, 4 Aug 2015 06:11:20 +0000 (+0200) Subject: Merge pull request #14 from vladimirias/master X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=c99abc2f27310f52185a17863ee4a4c2c62884d1;p=cubicaltt.git Merge pull request #14 from vladimirias/master The link to Voevodsky's webpage in README updated --- c99abc2f27310f52185a17863ee4a4c2c62884d1