Slava Pestov 6408b01e9d Add 'unportable' tag in place of hard-coded list of 'dangerous' vocabs in load-everything		2008-07-29 16:47:52 -05:00
..
authors.txt	…
tags.txt	Add 'unportable' tag in place of hard-coded list of 'dangerous' vocabs in load-everything	2008-07-29 16:47:52 -05:00
windows.factor	Change usages of set-gadget-dim to (>>dim)	2008-07-21 21:59:08 -05:00