Merge pull request #14 from vladimirias/master
authormortberg <mortberg@chalmers.se>
Tue, 4 Aug 2015 06:11:20 +0000 (08:11 +0200)
committermortberg <mortberg@chalmers.se>
Tue, 4 Aug 2015 06:11:20 +0000 (08:11 +0200)
commitc99abc2f27310f52185a17863ee4a4c2c62884d1
tree51be4b310b33cc1ba9d9a9bbaae7cf9531a7a8bd
parentf34f35af4e1c888638b16488c73a7df2c4d034b4
parent9ed8a85a69284ad1d065379bbcd011c742eac0b3
Merge pull request #14 from vladimirias/master

The link to Voevodsky's webpage in README updated