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 @@
org.metaborg
spoofax-maven-plugin-pomless
- 2.5.13
+ 2.6.0-SNAPSHOT
diff --git a/.project b/.project
new file mode 100644
index 0000000..4904686
--- /dev/null
+++ b/.project
@@ -0,0 +1,48 @@
+
+
+ spoofax_prop
+
+
+
+
+
+ org.eclipse.m2e.core.maven2Builder
+
+
+
+
+ org.metaborg.spoofax.eclipse.meta.builder.generatesources
+ clean,full,
+
+
+
+
+ org.metaborg.spoofax.eclipse.builder
+
+
+
+
+ org.metaborg.spoofax.eclipse.meta.builder.prejava
+ clean,full,
+
+
+
+
+ org.eclipse.jdt.core.javabuilder
+
+
+
+
+ org.metaborg.spoofax.eclipse.meta.builder.postjava
+ clean,full,
+
+
+
+
+
+ org.eclipse.m2e.core.maven2Nature
+ org.eclipse.jdt.core.javanature
+ org.metaborg.spoofax.eclipse.nature
+ org.metaborg.spoofax.eclipse.meta.nature
+
+
diff --git a/pom.xml b/pom.xml
index ec9a2fe..aba6725 100644
--- a/pom.xml
+++ b/pom.xml
@@ -13,7 +13,7 @@
org.metaborg
parent.language
- 2.5.13
+ 2.6.0-SNAPSHOT
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