BASE_FILES =\
	filter_buffer\
	mLast_util\
	free_vars\
	filter_type\
	infix\
	filter_ast\
	filter_hash\
	filter_util\
	filter_comment\
	filter_ocaml\
	filter_exn\
	filter_summary\
	filter_summary_type\
	filter_summary_io\
	filter_summary_util\
	filter_cache_fun\
	filter_magic\
	filter_cache\
	filter_spell\
	filter_grammar\
