Tue, 03 Mar 2009 16:40:59 +0000 | kevin | various small edits | file | diff | annotate |
Sat, 28 Feb 2009 16:00:38 +0000 | kevin | local relation def; extended isotopy def | file | diff | annotate |
Fri, 27 Feb 2009 03:29:41 +0000 | kevin | finished draft of fields definition; begin to work on local relations definition | file | diff | annotate |
Thu, 26 Feb 2009 19:01:32 +0000 | kevin | most of fields def; still missing last two items; | file | diff | annotate |
Wed, 25 Feb 2009 21:21:11 +0000 | kevin | more detailed outline for intro | file | diff | annotate |
Tue, 03 Feb 2009 21:06:04 +0000 | scott | ... | file | diff | annotate |
Thu, 20 Nov 2008 21:08:30 +0000 | scott | ... | file | diff | annotate |