From 8f29300711076274737ff30d7d4e79c47924b4df Mon Sep 17 00:00:00 2001
From: Florian Cassayre <florian.cassayre@gmail.com>
Date: Fri, 17 Jun 2022 08:57:00 +0200
Subject: [PATCH] Move src/ to lisa/src/ for consistency

---
 build.sbt                                                     | 4 ++--
 {src => lisa/src}/main/scala/lisa/proven/Main.scala           | 0
 .../src}/main/scala/lisa/proven/SetTheoryLibrary.scala        | 0
 .../src}/main/scala/lisa/proven/mathematics/Mapping.scala     | 0
 .../src}/main/scala/lisa/proven/mathematics/SetTheory.scala   | 0
 .../src}/main/scala/lisa/proven/tactics/Destructors.scala     | 0
 .../src}/main/scala/lisa/proven/tactics/ProofTactics.scala    | 0
 .../scala/lisa/proven/tactics/SimplePropositionalSolver.scala | 0
 .../src}/test/scala/lisa/proven/InitialProofsTests.scala      | 0
 .../src}/test/scala/lisa/proven/SimpleProverTests.scala       | 0
 10 files changed, 2 insertions(+), 2 deletions(-)
 rename {src => lisa/src}/main/scala/lisa/proven/Main.scala (100%)
 rename {src => lisa/src}/main/scala/lisa/proven/SetTheoryLibrary.scala (100%)
 rename {src => lisa/src}/main/scala/lisa/proven/mathematics/Mapping.scala (100%)
 rename {src => lisa/src}/main/scala/lisa/proven/mathematics/SetTheory.scala (100%)
 rename {src => lisa/src}/main/scala/lisa/proven/tactics/Destructors.scala (100%)
 rename {src => lisa/src}/main/scala/lisa/proven/tactics/ProofTactics.scala (100%)
 rename {src => lisa/src}/main/scala/lisa/proven/tactics/SimplePropositionalSolver.scala (100%)
 rename {src => lisa/src}/test/scala/lisa/proven/InitialProofsTests.scala (100%)
 rename {src => lisa/src}/test/scala/lisa/proven/SimpleProverTests.scala (100%)

diff --git a/build.sbt b/build.sbt
index 8f622c01..83ed4704 100644
--- a/build.sbt
+++ b/build.sbt
@@ -36,8 +36,8 @@ def withTests(project: Project): ClasspathDependency =
   project % "compile->compile;test->test"
 
 lazy val root = Project(
-  id = "lisa-core",
-  base = file("."),
+  id = "lisa",
+  base = file("lisa"),
 )
   .settings(commonSettings3)
   .settings(
diff --git a/src/main/scala/lisa/proven/Main.scala b/lisa/src/main/scala/lisa/proven/Main.scala
similarity index 100%
rename from src/main/scala/lisa/proven/Main.scala
rename to lisa/src/main/scala/lisa/proven/Main.scala
diff --git a/src/main/scala/lisa/proven/SetTheoryLibrary.scala b/lisa/src/main/scala/lisa/proven/SetTheoryLibrary.scala
similarity index 100%
rename from src/main/scala/lisa/proven/SetTheoryLibrary.scala
rename to lisa/src/main/scala/lisa/proven/SetTheoryLibrary.scala
diff --git a/src/main/scala/lisa/proven/mathematics/Mapping.scala b/lisa/src/main/scala/lisa/proven/mathematics/Mapping.scala
similarity index 100%
rename from src/main/scala/lisa/proven/mathematics/Mapping.scala
rename to lisa/src/main/scala/lisa/proven/mathematics/Mapping.scala
diff --git a/src/main/scala/lisa/proven/mathematics/SetTheory.scala b/lisa/src/main/scala/lisa/proven/mathematics/SetTheory.scala
similarity index 100%
rename from src/main/scala/lisa/proven/mathematics/SetTheory.scala
rename to lisa/src/main/scala/lisa/proven/mathematics/SetTheory.scala
diff --git a/src/main/scala/lisa/proven/tactics/Destructors.scala b/lisa/src/main/scala/lisa/proven/tactics/Destructors.scala
similarity index 100%
rename from src/main/scala/lisa/proven/tactics/Destructors.scala
rename to lisa/src/main/scala/lisa/proven/tactics/Destructors.scala
diff --git a/src/main/scala/lisa/proven/tactics/ProofTactics.scala b/lisa/src/main/scala/lisa/proven/tactics/ProofTactics.scala
similarity index 100%
rename from src/main/scala/lisa/proven/tactics/ProofTactics.scala
rename to lisa/src/main/scala/lisa/proven/tactics/ProofTactics.scala
diff --git a/src/main/scala/lisa/proven/tactics/SimplePropositionalSolver.scala b/lisa/src/main/scala/lisa/proven/tactics/SimplePropositionalSolver.scala
similarity index 100%
rename from src/main/scala/lisa/proven/tactics/SimplePropositionalSolver.scala
rename to lisa/src/main/scala/lisa/proven/tactics/SimplePropositionalSolver.scala
diff --git a/src/test/scala/lisa/proven/InitialProofsTests.scala b/lisa/src/test/scala/lisa/proven/InitialProofsTests.scala
similarity index 100%
rename from src/test/scala/lisa/proven/InitialProofsTests.scala
rename to lisa/src/test/scala/lisa/proven/InitialProofsTests.scala
diff --git a/src/test/scala/lisa/proven/SimpleProverTests.scala b/lisa/src/test/scala/lisa/proven/SimpleProverTests.scala
similarity index 100%
rename from src/test/scala/lisa/proven/SimpleProverTests.scala
rename to lisa/src/test/scala/lisa/proven/SimpleProverTests.scala
-- 
GitLab