eiffelstudio-public - Revision 107684: /trunk/Src/framework/tagging/tree/sparse
..
tag_sparse_tree.e
tag_sparse_tree_filter.e