Untersuchungsergebnis.project Download desShell {Shell[54] PVS[103] Isabelle[105]}zum Wurzelverzeichnis wechseln
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>LUHNSL</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.overture.ide.core.builder.VdmBuilder</name>
<arguments>
<dictionary>
<key>DYNAMIC_TYPE_CHECKS</key>
<value>true</value>
</dictionary>
<dictionary>
<key>INV_CHECKS</key>
<value>true</value>
</dictionary>
<dictionary>
<key>POST_CHECKS</key>
<value>true</value>
</dictionary>
<dictionary>
<key>PRE_CHECKS</key>
<value>true</value>
</dictionary>
<dictionary>
<key>SUPPRESS_WARNINGS</key>
<value>false</value>
</dictionary>
<dictionary>
<key>LANGUAGE_VERSION</key>
<value>vdm10</value>
</dictionary>
</arguments>
</buildCommand>
<buildCommand>
<name>org.overture.ide.plugins.latex.builder</name>
<arguments>
<dictionary>
<key>DOCUMENT</key>
<value></value>
</dictionary>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.overture.ide.vdmsl.core.nature</nature>
</natures>
</projectDescription>
[ zur Elbe Produktseite wechseln0.77Quellennavigators
]
