Skip to content

Tags: jaredly/reason-language-server

Tags

1.7.13

Toggle 1.7.13's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
actions: release

1.7.12

Toggle 1.7.12's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Update CURRENT (#464)

Update to lastest lsp

1.7.11

Toggle 1.7.11's commit message 
actions: release

1.7.11

1.7.10

Toggle 1.7.10's commit message 
actions: release

1.7.10

trying out a new highlighter

1.7.9

Toggle 1.7.9's commit message 
actions: release

version 1.7.9
fixing some build system compatability bugs

1.7.8

Toggle 1.7.8's commit message 
actions: release

fix 7.1

1.7.7

Toggle 1.7.7's commit message 
actions: release

1.7.7, really support bs-7.2 this time

1.7.6

Toggle 1.7.6's commit message 
actions: release

1.7.6
several fixes

1.7.5

Toggle 1.7.5's commit message 
actions: release

1.7.5
should fix the crash-on-launch from 379

1.7.4

Toggle 1.7.4's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Rm "old dune process". It will not be missed (#366)

* Rm "old dune process". It will not be missed

I've had it disabled in tests, but enabled by default, which was in hindsight probably not the best.
I meant to remove it very soon after adding it, just as a compatability measure. It should have been removed long ago.

* fix esy lock

* lock to 4.8

* windows skip