Sun, 13 Dec 2009 01:32:28 +0000 scott ...
Fri, 11 Dec 2009 23:16:03 +0000 scott ...
Fri, 11 Dec 2009 22:44:25 +0000 scott ...
Tue, 08 Dec 2009 01:08:53 +0000 scott ...
Mon, 07 Dec 2009 14:58:30 +0000 kevin ...
Mon, 09 Nov 2009 21:38:10 +0000 kevin ...
Sun, 08 Nov 2009 04:27:43 +0000 kevin ...
Sun, 08 Nov 2009 04:08:58 +0000 kevin ...
Sun, 08 Nov 2009 03:59:37 +0000 kevin ...
Sat, 07 Nov 2009 16:31:00 +0000 scott ...
Sat, 07 Nov 2009 15:23:53 +0000 kevin ...
Fri, 06 Nov 2009 21:57:13 +0000 kevin ...
Fri, 06 Nov 2009 03:12:48 +0000 scott ...
Fri, 06 Nov 2009 00:14:01 +0000 scott ...
Wed, 04 Nov 2009 22:43:58 +0000 kevin ...
Wed, 04 Nov 2009 22:27:48 +0000 kevin ...
Wed, 04 Nov 2009 21:55:47 +0000 kevin removed temp def of setc
Wed, 04 Nov 2009 21:54:24 +0000 kevin added tempary def of \setc
Wed, 04 Nov 2009 21:51:52 +0000 scott ...
Tue, 03 Nov 2009 19:54:46 +0000 scott ...
Tue, 03 Nov 2009 16:02:37 +0000 kevin ...
Tue, 03 Nov 2009 02:18:10 +0000 kevin ...
Sun, 01 Nov 2009 21:40:23 +0000 kevin ...
Sun, 01 Nov 2009 20:29:41 +0000 scott ...
Sun, 01 Nov 2009 20:29:33 +0000 scott fixing problem (need to treat linear combos) in the exactness lemma
Sun, 01 Nov 2009 20:29:01 +0000 scott deleting hand-drawn diagrams which have been replaced
Sun, 01 Nov 2009 18:51:40 +0000 kevin ...
Sun, 01 Nov 2009 17:02:10 +0000 scott ...
Sun, 01 Nov 2009 17:01:28 +0000 scott ...
Sun, 01 Nov 2009 16:28:24 +0000 kevin ...
Sun, 01 Nov 2009 02:03:20 +0000 scott ...
Sun, 01 Nov 2009 02:02:55 +0000 scott ...
Sun, 01 Nov 2009 01:56:59 +0000 scott ...
Sat, 31 Oct 2009 19:49:59 +0000 scott ...
Sat, 31 Oct 2009 00:20:10 +0000 kevin ...
Fri, 30 Oct 2009 21:07:40 +0000 scott ...
Fri, 30 Oct 2009 21:05:16 +0000 scott ...
Fri, 30 Oct 2009 21:04:05 +0000 scott ...
Fri, 30 Oct 2009 18:31:46 +0000 scott ...
Fri, 30 Oct 2009 06:09:37 +0000 scott ...
Fri, 30 Oct 2009 05:04:07 +0000 scott ...
Fri, 30 Oct 2009 05:03:42 +0000 scott ...
Fri, 30 Oct 2009 04:05:33 +0000 scott ...
Wed, 28 Oct 2009 21:59:38 +0000 scott ...
Wed, 28 Oct 2009 21:41:53 +0000 scott ...
Wed, 28 Oct 2009 21:18:55 +0000 kevin ...
Wed, 28 Oct 2009 17:30:37 +0000 kevin ...
Wed, 28 Oct 2009 05:55:38 +0000 kevin ...
Wed, 28 Oct 2009 02:44:29 +0000 kevin ...
Wed, 28 Oct 2009 00:54:35 +0000 kevin ...
Tue, 27 Oct 2009 22:27:07 +0000 kevin ...
Tue, 27 Oct 2009 05:19:10 +0000 scott ...
Tue, 27 Oct 2009 02:11:54 +0000 scott ...
Tue, 27 Oct 2009 02:11:36 +0000 scott ...
Mon, 26 Oct 2009 17:14:35 +0000 scott ...
Mon, 26 Oct 2009 05:39:29 +0000 scott ...
Fri, 23 Oct 2009 04:12:41 +0000 kevin ...
Thu, 22 Oct 2009 04:51:16 +0000 kevin ...
Thu, 22 Oct 2009 04:08:49 +0000 kevin ...
Tue, 20 Oct 2009 18:25:54 +0000 kevin ...
(0) -100 -60 +60 +100 +300 tip