Thu, 28 May 2009 17:24:18 -0700 | huffman | fix references to dist_def | changeset | files |
Thu, 28 May 2009 17:09:51 -0700 | huffman | define dist for products | changeset | files |
Thu, 28 May 2009 17:00:02 -0700 | huffman | move dist operation to new metric_space class | changeset | files |