diff options
Diffstat (limited to 'modules/jvm/xml/jvm-options.dtd')
| -rwxr-xr-x | modules/jvm/xml/jvm-options.dtd | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/modules/jvm/xml/jvm-options.dtd b/modules/jvm/xml/jvm-options.dtd new file mode 100755 index 000000000..eee010129 --- /dev/null +++ b/modules/jvm/xml/jvm-options.dtd @@ -0,0 +1,13 @@ +<!ELEMENT jvm_options ( option+ ) > + +<!ATTLIST META +CATEGORY CDATA "Scilab jvm_options" +VERSION_SCI CDATA "5.5" +VERSION_DOC CDATA "1.1" +AUTHOR CDATA "Allan CORNET - DIGITEO - 2010" +AUTHOR CDATA "Vincent COUVERT - Scilab Enterprises - 2014"> + +<!ELEMENT option EMPTY > +<!ATTLIST option value CDATA #REQUIRED > +<!ATTLIST option os CDATA #IMPLIED > + |