factor

Author	SHA1	Message	Date
Slava Pestov	375c5e69b5	Various load-everything fixes	2009-03-07 01:22:21 -06:00
Eduardo Cavazos	e24cc8bd62	Move bubble-chamber back to extra	2008-12-03 08:28:19 -06:00
Slava Pestov	e0af88bd97	Move a bunch of vocabularies to unmaintained, hopefully temporarily	2008-12-03 00:05:20 -06:00