coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] switched branches in "Foundations"

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Coq Club <coq-club AT inria.fr>, homotopytypetheory AT googlegroups.com
Subject: [Coq-Club] switched branches in "Foundations"
Date: Sun, 4 Sep 2011 17:40:04 +0200

Hi,

I have switched branches in the "Foundations" repository at
https://github.com/vladimirias ;.

Now "master" contains as it should the current version of the library and
"before_implicit" contains the old version from May, 2011 .

Sorry for multiple postings. It took me a while to learn how to properly deal
with such major updates.

Vladimir.

[Coq-Club] switched branches in "Foundations", Vladimir Voevodsky