Tue, 03 Mar 2009 16:40:59 +0000 kevin various small edits
Sat, 28 Feb 2009 16:00:38 +0000 kevin local relation def; extended isotopy def
(0) -30 -10 -2 +2 +10 +30 +100 +300 tip