Slava Pestov f78bbb865e vocabs.refresh.monitor: spin off new monitor threads when add-vocab-root is called. Fixes a problem where depending on the order of startup hooks, refresh-all would sometimes be broken for custom vocab roots		2010-05-31 20:14:54 -04:00
..
monitor	vocabs.refresh.monitor: spin off new monitor threads when add-vocab-root is called. Fixes a problem where depending on the order of startup hooks, refresh-all would sometimes be broken for custom vocab roots	2010-05-31 20:14:54 -04:00
authors.txt	Split up tools.vocabs. Note that load-everything is now named load-all	2009-05-04 06:44:17 -05:00
refresh-docs.factor	Various documentation improvements	2010-01-26 01:01:12 +13:00
refresh-tests.factor	Fix test failures	2009-05-04 13:10:56 -05:00
refresh.factor	Finishing eliminating prune as a synonym of members	2010-02-27 14:52:24 -05:00
summary.txt	Split up tools.vocabs. Note that load-everything is now named load-all	2009-05-04 06:44:17 -05:00