The Coq mailing list

[Vladimir Voevodsky <vladimir AT ias.edu>]

On github you need to go to the repository "Foundations" then to Switch Branches and choose the branch "implicit" . A direct link is :

https://github.com/vladimirias/Foundations/tree/implicit

Vladimir.

PS By the way,  is there a way to exchange branches in github making my current "implicit" to be "master" and putting master to a new branch ? Thanks! V. 

On Sep 3, 2011, at 8:18 AM, Christophe Monat wrote:

[Off list, sorry if duplicates]

It looks like that from:

<http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/toc.html>

It is impossible to access any content, for instance:

<http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/uu0.html#lab1>

Not Found

The requested URL /~vladimir/Site3/Univalent_Foundations_files/uu0.html was not found on this server.

Regards,

--C

2011/9/3 Vladimir Voevodsky <vladimir AT ias.edu>

I have posted yesterday a very substantial update to my git repository on the univalent foundations. See  https://github.com/vladimirias .

Vladimir.