Slava Pestov f34c14a0f5 Remove some usages of tuck		2009-01-23 18:20:47 -06:00
..
authors.txt	Create basis vocab root	2008-07-28 22:03:13 -05:00
clipboard.factor	Remove some usages of tuck	2009-01-23 18:20:47 -06:00
summary.txt	Create basis vocab root	2008-07-28 22:03:13 -05:00