rahmenlose Ansicht.project DruckansichtShell {Shell[54] PVS[103] Isabelle[105]}Entwicklung
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>MetroInterlockingPP</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.vdmpp.core.nature</nature>
</natures>
</projectDescription>
[ Verzeichnis aufwärts0.323unsichere Verbindung
]
