Slava Pestov 421ee726b8 Merge branch 'master' into new_ui		2009-02-16 21:22:12 -06:00
..
gadgets.factor	Remove new-gadget since it was just an alias for new	2009-02-16 04:04:32 -06:00
summary.txt	Add summary for heaps more vocabs	2009-02-16 21:05:13 -06:00