# | Line 4 | Line 4 | |
---|---|---|
4 | <use name=MitAna/TAM> | |
5 | <use name=MitAna/DataTree> | |
6 | <use name=MitAna/DataUtil> | |
7 | + | <use name=MitAna/Catalog> |
8 | <use root> | |
9 | <lib name=Proof> | |
10 | + | <flags CXXFLAGS="-g"> |
11 | <export> | |
12 | <lib name=MitAnaTreeMod> | |
11 | – | <use name=MitAna/TAM> |
12 | – | <use name=MitAna/DataTree> |
13 | – | <use name=MitAna/DataUtil> |
14 | – | <use root> |
13 | </export> |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |