50 lines
6.2 KiB
XML
50 lines
6.2 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<launchHistory>
|
|
<launchGroup id="org.eclipse.debug.ui.launchGroup.debug">
|
|
<mruHistory>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="Launch Runtime Eclipse Principal"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="SimplePDL2PetriNet (schema)"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="SimplePDL2PetriNet (developpement)"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="simplepdl2petrinet"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="toTINA"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="false" path="/fr.n7.simplepdl.txt.pdl/.launch/Launch Runtime Eclipse Xtext.launch"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="GeneratePDL.mwe2"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="ToDOT"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="toHTML"/> "/>
|
|
</mruHistory>
|
|
<favorites>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="Launch Runtime Eclipse Principal"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="false" path="/fr.n7.simplepdl.txt.pdl/.launch/Launch Runtime Eclipse Xtext.launch"/> "/>
|
|
</favorites>
|
|
</launchGroup>
|
|
<launchGroup id="org.eclipse.debug.ui.launchGroup.profile">
|
|
<mruHistory>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="toTINA"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="ToDOT"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="toHTML"/> "/>
|
|
</mruHistory>
|
|
<favorites/>
|
|
</launchGroup>
|
|
<launchGroup id="org.eclipse.ui.externaltools.launchGroup">
|
|
<mruHistory/>
|
|
<favorites/>
|
|
</launchGroup>
|
|
<launchGroup id="org.eclipse.debug.ui.launchGroup.run">
|
|
<mruHistory>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="Launch Runtime Eclipse Principal"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="SimplePDL2PetriNet (schema)"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="SimplePDL2PetriNet (developpement)"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="simplepdl2petrinet"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="toTINA"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="false" path="/fr.n7.simplepdl.txt.pdl/.launch/Launch Runtime Eclipse Xtext.launch"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="GeneratePDL.mwe2"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="ToDOT"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="toHTML"/> "/>
|
|
</mruHistory>
|
|
<favorites>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="Launch Runtime Eclipse Principal"/> "/>
|
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="false" path="/fr.n7.simplepdl.txt.pdl/.launch/Launch Runtime Eclipse Xtext.launch"/> "/>
|
|
</favorites>
|
|
</launchGroup>
|
|
</launchHistory>
|