Code

update docs and fix typo#690

Code

Merged

rtetley merged 2 commits intocoq:maincoq/vscoq:mainfrom tomtomjhj:docstomtomjhj/vscoq:docsCopy head branch name to clipboardNov 22, 2023

+8-18

Commits

Commits on Nov 20, 2023

• update docs and fix typo

  tomtomjhj

  committed
  af10e22

  Copy full SHA for af10e22

Commits on Nov 22, 2023

• Update client/src/protocol/types.ts

  rtetley

  authored
  74f2c25

  Copy full SHA for 74f2c25