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

chore: bump server version

Browse source
This commit is contained in:
Wojciech Nawrocki 2022-12-18 02:16:38 -05:00 • committed by Gabriel Ebner
parent 9b1f5c4df4
commit 184ca3ddb0
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

@ -658,7 +658,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.1"
version? := "0.1.2"
}
: InitializeResult
}