Slava Pestov fe7c2fecbe Eliminate some more usages of tuck		2009-01-25 17:55:27 -06:00
..
authors.txt	Move 'ui' to basis	2008-08-07 21:12:50 -05:00
incremental-docs.factor	Fix permission bits	2008-10-02 08:34:49 -05:00
incremental.factor	Eliminate some more usages of tuck	2009-01-25 17:55:27 -06:00
summary.txt	Move 'ui' to basis	2008-08-07 21:12:50 -05:00