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)
(0) -30 -10 -1 +1 +10 +30 +100 +300 tip