search

imandra-ai / imandra-vscode

VSCode extension for developing imandra
Other
2 stars 0 forks source link

Ewen/adding log view #31

Closed ewenmaclean closed 4 years ago

ewenmaclean commented 4 years ago

-- removes skip-update from options called (why did this ever work?) -- adds an output channel for logging rpc messages