Fix removed external repository

.gitignore

@@ -1,24 +1,27 @@
-*.class
-*.log
-
 # sbt specific
 dist/*
 target/
 lib_managed/
 src_managed/
 project/boot/
 project/plugins/project/
+.cache*
 
 # Eclipse specific
 .cache
 .classpath
 .project
 .settings/
+.target
 
 # Scala-IDE specific
 .scala_dependencies
 .worksheet
 .scalastyle
 
+# IntelliJ IDEA specific
+.idea
+
 # OSX specific
 .DS_Store
+

build.sbt

@@ -22,10 +22,10 @@ scalacOptions ++= Seq(
 )
 scalacOptions in (Compile, doc) ++= Seq("-diagrams","-implicits")
 
-resolvers += "edla repo" at "http://www.edla.org/snapshots"
+resolvers += "Sonatype OSS Snapshots" at "https://oss.sonatype.org/content/repositories/snapshots"
 
 libraryDependencies ++= Seq(
-  "at.logic.gapt" %% "gapt" % "1.10-SNAPSHOT",
+  //"at.logic.gapt" %% "gapt" % "1.10-SNAPSHOT",
   "org.scala-lang.modules" %% "scala-parser-combinators" % "1.0.4",
   //workaround for ivy : impossible to get artifacts when data has not been loaded.
   //http://harrah.github.io/xsbt/latest/sxr/Ivy.scala.html
@@ -44,77 +44,3 @@ libraryDependencies ++= Seq(
 licenses := Seq("GNU GPL v3" -> url("http://www.gnu.org/licenses/gpl.html"))
 
 homepage := Some(url("http://github.com/newca12/scala-atp"))
-
-//pomIncludeRepository := { _ => false }
-
-pomExtra := (
-  <scm>
-    <url>git@github.com:newca12/scala-atp.git</url>
-    <connection>scm:git:git@github.com:newca12/scala-atp.git</connection>
-  </scm>
-  <developers>
-    <developer>
-      <id>newca12</id>
-      <name>Olivier ROLAND</name>
-      <url>http://www.edla.org</url>
-    </developer>
-  </developers>
-  <contributors>
-  </contributors>
-	<properties>
-		<encoding>UTF-8</encoding>
-		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-	</properties>
-	<build>
-		<sourceDirectory>src/main/scala</sourceDirectory>
-		<testSourceDirectory>src/test/scala</testSourceDirectory>
-		<plugins>
-			<plugin>
-				<groupId>org.apache.maven.plugins</groupId>
-				<artifactId>maven-compiler-plugin</artifactId>
-				<version>3.2</version>
-				<configuration>
-					<source>1.8</source>
-					<target>1.8</target>
-				</configuration>
-			</plugin>
-			<plugin>
-				<groupId>net.alchim31.maven</groupId>
-				<artifactId>scala-maven-plugin</artifactId>
-				<version>3.2.0</version>
-				<executions>
-					<execution>
-						<id>compile</id>
-						<goals>
-							<goal>compile</goal>
-							<goal>testCompile</goal>
-						</goals>
-					</execution>
-				</executions>
-			</plugin>
-			<plugin>
-				<groupId>org.apache.maven.plugins</groupId>
-				<artifactId>maven-surefire-plugin</artifactId>
-				<version>2.18.1</version>
-				<configuration>
-					<includes>
-						<include>**/*Suite.class</include>
-						<include>**/*Test.class</include>
-						<include>**/*Tests.class</include>
-						<include>**/*Spec.class</include>
-						<include>**/*Specs.class</include>
-					</includes>
-				</configuration>
-			</plugin>
-		</plugins>
-	</build>
-	<reporting>
-		<plugins>
-			<plugin>
-				<groupId>net.alchim31.maven</groupId>
-				<artifactId>scala-maven-plugin</artifactId>
-				<version>3.2.0</version>
-			</plugin>
-		</plugins>
-	</reporting>
-)