equal
deleted
inserted
replaced
1 <?xml version="1.0" ?> |
1 <?xml version="1.0" ?> |
2 <api id="935dbdc2b6dfe73953cf5cc603647d36" dataversion="1.0"> |
2 <api id="935dbdc2b6dfe73953cf5cc603647d36" dataversion="2.0"> |
3 <name>Java Environment Info API</name> |
3 <name>Java Environment Info API</name> |
4 <description>This API provides information about the Java environment and events occurring within it</description> |
4 <description>This API provides information about the Java environment and events occurring within it</description> |
5 <type>c++</type> |
5 <type>c++</type> |
6 <subsystem>java_dom</subsystem> |
6 <collection>javacommons</collection> |
7 <libs> |
7 <libs> |
8 <lib name="javaenv.lib" /> |
8 <lib name="javaenv.lib" /> |
9 </libs> |
9 </libs> |
10 <release category="domain"/> |
10 <release category="platform" sinceversion="3.2"/> |
11 <attributes> |
11 <attributes> |
12 <!-- This indicates wether the api provedes separate html documentation --> |
|
13 <!-- or is the additional documentation generated from headers. --> |
|
14 <!-- If you are unsuere then the value is "no" --> |
|
15 <htmldocprovided>no</htmldocprovided> |
12 <htmldocprovided>no</htmldocprovided> |
16 <adaptation>no</adaptation> |
13 <adaptation>no</adaptation> |
17 </attributes> |
14 </attributes> |
18 </api> |
15 </api> |