# | Line 5 | Line 5 | |
---|---|---|
5 | <use name=MitAna/DataTree> | |
6 | <use name=MitAna/DataUtil> | |
7 | <use name=MitAna/Catalog> | |
8 | + | <use name=MitCommon/MathTools> |
9 | <use root> | |
10 | <lib name=Proof> | |
11 | <flags CXXFLAGS="-g"> |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |