Tue, 26 Aug 2008 23:13:07 +0000 done (for now) revising proof of eval map stuff.
kevin@6e1638ff-ae45-0410-89bd-df963105f760 [Tue, 26 Aug 2008 23:13:07 +0000] rev 44
done (for now) revising proof of eval map stuff.
Mon, 04 Aug 2008 20:34:48 +0000 Q.I => hty equiv for free complexes
kevin@6e1638ff-ae45-0410-89bd-df963105f760 [Mon, 04 Aug 2008 20:34:48 +0000] rev 43
Q.I => hty equiv for free complexes
Tue, 29 Jul 2008 22:37:25 +0000 some improvements to c-star-diff section; probably a few more changes will follow soon
kevin@6e1638ff-ae45-0410-89bd-df963105f760 [Tue, 29 Jul 2008 22:37:25 +0000] rev 42
some improvements to c-star-diff section; probably a few more changes will follow soon
(0) -30 -10 -3 +3 +10 +30 +100 +300 tip