Mon, 07 Jul 2008 01:25:14 +0000 ...
scott@6e1638ff-ae45-0410-89bd-df963105f760 [Mon, 07 Jul 2008 01:25:14 +0000] rev 36
...
Sun, 06 Jul 2008 04:33:51 +0000 coend, n>1 case
kevin@6e1638ff-ae45-0410-89bd-df963105f760 [Sun, 06 Jul 2008 04:33:51 +0000] rev 35
coend, n>1 case
Sat, 05 Jul 2008 21:48:19 +0000 a little more
kevin@6e1638ff-ae45-0410-89bd-df963105f760 [Sat, 05 Jul 2008 21:48:19 +0000] rev 34
a little more
Sat, 05 Jul 2008 20:44:17 +0000 small tweaks to Ainf module defn
kevin@6e1638ff-ae45-0410-89bd-df963105f760 [Sat, 05 Jul 2008 20:44:17 +0000] rev 33
small tweaks to Ainf module defn
Sat, 05 Jul 2008 20:01:03 +0000 a few changes to top Ainf cat def, etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760 [Sat, 05 Jul 2008 20:01:03 +0000] rev 32
a few changes to top Ainf cat def, etc. (checking in frequently)
Fri, 04 Jul 2008 05:22:12 +0000 writing stupid formulas, trying to puzzle out d^2=0
scott@6e1638ff-ae45-0410-89bd-df963105f760 [Fri, 04 Jul 2008 05:22:12 +0000] rev 31
writing stupid formulas, trying to puzzle out d^2=0
Fri, 04 Jul 2008 00:26:46 +0000 ...
scott@6e1638ff-ae45-0410-89bd-df963105f760 [Fri, 04 Jul 2008 00:26:46 +0000] rev 30
...
(0) -30 -10 -7 +7 +10 +30 +100 +300 tip