languageServer


License

License

MIT
Categories

Categories

Languages KeY Data Data Formats Formal Verification
GroupId

GroupId

com.github.keyboardDrummer
ArtifactId

ArtifactId

languageserver_sjs1_2.13
Last Version

Last Version

0.1.9
Release Date

Release Date

Type

Type

jar
Description

Description

languageServer
languageServer
Project URL

Project URL

http://keyboarddrummer.github.io/Miksilo/
Project Organization

Project Organization

com.github.keyboardDrummer
Source Code Management

Source Code Management

https://github.com/keyboardDrummer/Miksilo

Download languageserver_sjs1_2.13

How to add to project

<!-- https://jarcasting.com/artifacts/com.github.keyboardDrummer/languageserver_sjs1_2.13/ -->
<dependency>
    <groupId>com.github.keyboardDrummer</groupId>
    <artifactId>languageserver_sjs1_2.13</artifactId>
    <version>0.1.9</version>
</dependency>
// https://jarcasting.com/artifacts/com.github.keyboardDrummer/languageserver_sjs1_2.13/
implementation 'com.github.keyboardDrummer:languageserver_sjs1_2.13:0.1.9'
// https://jarcasting.com/artifacts/com.github.keyboardDrummer/languageserver_sjs1_2.13/
implementation ("com.github.keyboardDrummer:languageserver_sjs1_2.13:0.1.9")
'com.github.keyboardDrummer:languageserver_sjs1_2.13:jar:0.1.9'
<dependency org="com.github.keyboardDrummer" name="languageserver_sjs1_2.13" rev="0.1.9">
  <artifact name="languageserver_sjs1_2.13" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.github.keyboardDrummer', module='languageserver_sjs1_2.13', version='0.1.9')
)
libraryDependencies += "com.github.keyboardDrummer" % "languageserver_sjs1_2.13" % "0.1.9"
[com.github.keyboardDrummer/languageserver_sjs1_2.13 "0.1.9"]

Dependencies

compile (4)

Group / Artifact Type Version
org.scala-lang : scala-library jar 2.13.1
com.github.keyboardDrummer : editorparser_sjs1_2.13 jar 0.1.9
com.github.keyboardDrummer : lspprotocol_sjs1_2.13 jar 0.1.9
org.scala-js : scalajs-library_2.13 jar 1.0.1

test (2)

Group / Artifact Type Version
org.scala-js : scalajs-test-bridge_2.13 jar 1.0.1
org.scalatest : scalatest_sjs1_2.13 jar 3.1.1

Project Modules

There are no modules declared in this project.

Versions

Version
0.1.9
0.1.8
0.1.7