max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: bump server version to 0.1.1

Browse source
This commit is contained in:
larsk21 2021-12-10 17:35:27 +01:00 • committed by Sebastian Ullrich
parent d50c08360d
commit efa2ded224
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Lean/Server/Watchdog.lean
View file

@ -591,7 +591,7 @@ def initAndRunWatchdog (args : List String) (i o e : FS.Stream) : IO Unit := do
capabilities := mkLeanServerCapabilities
serverInfo? := some {
name := "Lean 4 Server"
version? := "0.1"
version? := "0.1.1"
}
: InitializeResult
}