From ba6084513f54799406fbccc93f94216792543c83 Mon Sep 17 00:00:00 2001
From: Glen Whitney <glen@studioinfinity.org>
Date: Thu, 14 Jan 2021 08:16:08 -0800
Subject: [PATCH] chore: Try updating Spoofax version

  Unfortunately, Spoofax menu still not showing up.
---
 .gitignore          |  1 -
 .mvn/extensions.xml |  2 +-
 .project            | 48 +++++++++++++++++++++++++++++++++++++++++++++
 pom.xml             |  2 +-
 prop.spl            |  2 +-
 5 files changed, 51 insertions(+), 4 deletions(-)
 create mode 100644 .project

diff --git a/.gitignore b/.gitignore
index 8b845af..0962a4d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,7 +5,6 @@
 /site
 
 /.classpath
-/.project
 /.settings
 /.factorypath
 
diff --git a/.mvn/extensions.xml b/.mvn/extensions.xml
index 220fdd9..878ae8b 100644
--- a/.mvn/extensions.xml
+++ b/.mvn/extensions.xml
@@ -3,6 +3,6 @@
   <extension>
     <groupId>org.metaborg</groupId>
     <artifactId>spoofax-maven-plugin-pomless</artifactId>
-    <version>2.5.13</version>
+    <version>2.6.0-SNAPSHOT</version>
   </extension>
 </extensions>
diff --git a/.project b/.project
new file mode 100644
index 0000000..4904686
--- /dev/null
+++ b/.project
@@ -0,0 +1,48 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>spoofax_prop</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.m2e.core.maven2Builder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+		<buildCommand>
+			<name>org.metaborg.spoofax.eclipse.meta.builder.generatesources</name>
+			<triggers>clean,full,</triggers>
+			<arguments>
+			</arguments>
+		</buildCommand>
+		<buildCommand>
+			<name>org.metaborg.spoofax.eclipse.builder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+		<buildCommand>
+			<name>org.metaborg.spoofax.eclipse.meta.builder.prejava</name>
+			<triggers>clean,full,</triggers>
+			<arguments>
+			</arguments>
+		</buildCommand>
+		<buildCommand>
+			<name>org.eclipse.jdt.core.javabuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+		<buildCommand>
+			<name>org.metaborg.spoofax.eclipse.meta.builder.postjava</name>
+			<triggers>clean,full,</triggers>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.m2e.core.maven2Nature</nature>
+		<nature>org.eclipse.jdt.core.javanature</nature>
+		<nature>org.metaborg.spoofax.eclipse.nature</nature>
+		<nature>org.metaborg.spoofax.eclipse.meta.nature</nature>
+	</natures>
+</projectDescription>
diff --git a/pom.xml b/pom.xml
index ec9a2fe..aba6725 100644
--- a/pom.xml
+++ b/pom.xml
@@ -13,7 +13,7 @@
   <parent>
     <groupId>org.metaborg</groupId>
     <artifactId>parent.language</artifactId>
-    <version>2.5.13</version>
+    <version>2.6.0-SNAPSHOT</version>
   </parent>
   
   <repositories>
diff --git a/prop.spl b/prop.spl
index b90535e..04f19a0 100644
--- a/prop.spl
+++ b/prop.spl
@@ -1 +1 @@
-(1 -> 0) & 0 = p & 0
\ No newline at end of file
+(1 -> 0) & 0 = p & 0