Doug Coleman 571d619442 Use change-vocabulary-coverage word for toggle-coverage too to handle .private vocabs		2011-08-27 01:04:02 -05:00
..
authors.txt	Rename tools.code-coverage to tools.coverage, change some word names.	2011-08-26 14:32:41 -05:00
coverage-docs.factor	Add toggle-coverage word and make coverage-on/off work on .private vocabs too.	2011-08-27 00:56:02 -05:00
coverage.factor	Use change-vocabulary-coverage word for toggle-coverage too to handle .private vocabs	2011-08-27 01:04:02 -05:00
summary.txt	Rename tools.code-coverage to tools.coverage, change some word names.	2011-08-26 14:32:41 -05:00