Added server jar to top level

jdaridis · Nov 6, 2022 · 6fddce0 · 6fddce0
1 parent b7e105f
commit 6fddce0
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -83,3 +83,4 @@ dist/
 *.lock
 *.class
 
+souffle-lang-server-0.1.0.vsix
diff --git a/README.md b/README.md
@@ -49,6 +49,9 @@ This is a plugin adding basic smart features to the Soufflé language, using the
 
 ![Outline example](images/outline.png)
 
+## Requirements
+
+The user needs to have Java installed on their system.
 ## Known Issues
 
 In libraries with heavy use of the C preprocessor macros, sometimes parsing fails giving a false syntax error.

diff --git a/Souffle_Ide_Plugin-1.0-SNAPSHOT.jar b/Souffle_Ide_Plugin-1.0-SNAPSHOT.jar
diff --git a/antlr-runtime-4.9.3.jar b/antlr-runtime-4.9.3.jar