Merge pull request #573 from UniFormal/master

Release 23
UniFormal · Sep 15, 2022 · 53b293a · 53b293a
2 parents 61532d7 + 213a383
commit 53b293a
Show file tree

Hide file tree

Showing 558 changed files with 12,696 additions and 8,738 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -1,6 +1,6 @@
 name: Integration Tests
 
-on: [push, pull_request, workflow_dispatch]
+on: [push, workflow_dispatch]
 
 env:
   SCALA_VERSION: '2.13.4'

diff --git a/.gitignore b/.gitignore
@@ -31,11 +31,12 @@ bin
 .settings
 target
 .classpath
+.bsp
 
 # scala-bin compilation articfacts
 out/
 
-*/.DS_Store
+.DS_Store
 
 # Artifact of https://github.com/coursier/coursier when working with IntelliJ
 src/null
diff --git a/deploy/lib/jgit.jar b/deploy/lib/jgit.jar
diff --git a/deploy/lib/slf4j.jar b/deploy/lib/slf4j.jar
diff --git a/deploy/lib/version.txt b/deploy/lib/version.txt
@@ -10,10 +10,12 @@ Scala modules:
  parallel-collections: 1.0.0
 
 xz: 1.8
+jgit: 6.1.0
+slf4j: 1.7.9
 
 
 ------------
 
 tested with
 IntelliJ Community edition 2021.2.3
-sbt 1.3.13 (auto-downloaded by IntelliJ)
+sbt 1.3.13 (auto-downloaded by IntelliJ)
diff --git a/project/build.properties b/project/build.properties
@@ -0,0 +1 @@
+sbt.version=1.6.0
diff --git a/src/.idea/runConfigurations/Plain_MMT_Shell.xml b/src/.idea/runConfigurations/Plain_MMT_Shell.xml
diff --git a/...urations/Shell_with_MathHub_test_msl__works_if_the_path_to_your_mathhub_folder_works_.xml b/...urations/Shell_with_MathHub_test_msl__works_if_the_path_to_your_mathhub_folder_works_.xml