From f87b4233437f0900c19f462b5e443a3c81b27b6e Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 15 Jan 2019 12:44:33 -0500
Subject: Initial workspace setup

---
 ...mpireLanguage (tptp) Language Infrastructure.launch | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Generate VampireLanguage (tptp) Language Infrastructure.launch

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Generate VampireLanguage (tptp) Language Infrastructure.launch')

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Generate VampireLanguage (tptp) Language Infrastructure.launch b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Generate VampireLanguage (tptp) Language Infrastructure.launch
new file mode 100644
index 00000000..1e23f694
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Generate VampireLanguage (tptp) Language Infrastructure.launch	
@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.emf.mwe2.launch.Mwe2LaunchConfigurationType">
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
+<listEntry value="/ca.mcgill.ecse.dslreasoner.vampire.language"/>
+</listAttribute>
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
+<listEntry value="4"/>
+</listAttribute>
+<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
+<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
+<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
+</listAttribute>
+<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${working_set:&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt;&#10;&lt;resources&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.ide&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.ui&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.tests&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.ui.tests&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.tests&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.ui.tests&quot; type=&quot;4&quot;/&gt;&#10;;&lt;/resources&gt;}"/>
+<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.emf.mwe2.launch.runtime.Mwe2Launcher"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="ca.mcgill.ecse.dslreasoner.GenerateVampireLanguage"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="ca.mcgill.ecse.dslreasoner.vampire.language"/>
+<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx512m"/>
+</launchConfiguration>
-- 
cgit v1.2.3-54-g00ecf