mirror of https://github.com/vacp2p/research.git
25 lines
524 B
XML
25 lines
524 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<projectDescription>
|
|
<name>gossip</name>
|
|
<comment></comment>
|
|
<projects>
|
|
</projects>
|
|
<buildSpec>
|
|
<buildCommand>
|
|
<name>toolbox.builder.TLAParserBuilder</name>
|
|
<arguments>
|
|
</arguments>
|
|
</buildCommand>
|
|
</buildSpec>
|
|
<natures>
|
|
<nature>toolbox.natures.TLANature</nature>
|
|
</natures>
|
|
<linkedResources>
|
|
<link>
|
|
<name>gossip.tla</name>
|
|
<type>1</type>
|
|
<locationURI>PARENT-1-PROJECT_LOC/gossip.tla</locationURI>
|
|
</link>
|
|
</linkedResources>
|
|
</projectDescription>
|