diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-11-22 23:10:19 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-11-22 23:10:19 +0000 |
commit | ae054a1663381ada248ab020ea4993452664cd83 (patch) | |
tree | f7a86f3a460fe38507a8b79deea160de92b78131 /tools | |
parent | 1189476b0e48bb0e82565b75d7997b33a67c31e9 (diff) | |
download | scala-ae054a1663381ada248ab020ea4993452664cd83.tar.gz scala-ae054a1663381ada248ab020ea4993452664cd83.tar.bz2 scala-ae054a1663381ada248ab020ea4993452664cd83.zip |
a wider variety of treemakers
optimized combining substitutions
why we substitute in EqualityTestTreeMaker
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions