equal
deleted
inserted
replaced
24 --> |
24 --> |
25 |
25 |
26 <!DOCTYPE specification [ |
26 <!DOCTYPE specification [ |
27 <!ELEMENT specification (title, intro*, functionsection, errorsection, |
27 <!ELEMENT specification (title, intro*, functionsection, errorsection, |
28 eventsection, datasection, issuessection, changehistory)> |
28 eventsection, datasection, issuessection, changehistory)> |
29 <!ATTLIST specification label CDATA #REQUIRED |
29 <!ATTLIST specification label CDATA #REQUIRED> |
30 majorversion CDATA #REQUIRED |
|
31 minorversion CDATA #REQUIRED |
|
32 microversion CDATA #REQUIRED> |
|
33 |
30 |
34 <!ELEMENT title (#PCDATA|jvmti|tm)*> |
31 <!ELEMENT title (#PCDATA|jvmti|tm)*> |
35 <!ATTLIST title subtitle CDATA #REQUIRED> |
32 <!ATTLIST title subtitle CDATA #REQUIRED> |
36 |
33 |
37 <!ELEMENT intro ANY> |
34 <!ELEMENT intro ANY> |
355 <!ATTLIST ul type (disc|circle|square) "disc"> |
352 <!ATTLIST ul type (disc|circle|square) "disc"> |
356 |
353 |
357 <!ELEMENT li ANY> |
354 <!ELEMENT li ANY> |
358 ]> |
355 ]> |
359 |
356 |
360 <specification label="JVM(TM) Tool Interface" |
357 <specification label="JVM(TM) Tool Interface"> |
361 majorversion="11" |
|
362 minorversion="0" |
|
363 microversion="0"> |
|
364 <title subtitle="Version"> |
358 <title subtitle="Version"> |
365 <tm>JVM</tm> Tool Interface |
359 <tm>JVM</tm> Tool Interface |
366 </title> |
360 </title> |
367 |
361 |
368 <intro id="whatIs" label="What is the JVM Tool Interface?"> |
362 <intro id="whatIs" label="What is the JVM Tool Interface?"> |