Move src/ to lisa/src/ for consistency

8f293007 · Florian Cassayre · SimonGuilloud · fbc8c0df · 8f293007 · 8f293007
Commit 8f293007 authored 2 years ago by Florian Cassayre Committed by SimonGuilloud 2 years ago
--- 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(

--- a/src/main/scala/lisa/proven/Main.scala
+++ b/src/main/scala/lisa/proven/Main.scala
--- a/src/main/scala/lisa/proven/SetTheoryLibrary.scala
+++ b/src/main/scala/lisa/proven/SetTheoryLibrary.scala
--- a/src/main/scala/lisa/proven/mathematics/Mapping.scala
+++ b/src/main/scala/lisa/proven/mathematics/Mapping.scala
--- a/src/main/scala/lisa/proven/mathematics/SetTheory.scala
+++ b/src/main/scala/lisa/proven/mathematics/SetTheory.scala
--- a/src/main/scala/lisa/proven/tactics/Destructors.scala
+++ b/src/main/scala/lisa/proven/tactics/Destructors.scala
--- a/src/main/scala/lisa/proven/tactics/ProofTactics.scala
+++ b/src/main/scala/lisa/proven/tactics/ProofTactics.scala
--- a/src/main/scala/lisa/proven/tactics/SimplePropositionalSolver.scala
+++ b/src/main/scala/lisa/proven/tactics/SimplePropositionalSolver.scala
--- a/src/test/scala/lisa/proven/InitialProofsTests.scala
+++ b/src/test/scala/lisa/proven/InitialProofsTests.scala
--- a/src/test/scala/lisa/proven/SimpleProverTests.scala
+++ b/src/test/scala/lisa/proven/SimpleProverTests.scala