Code

Doc string proof of concept#998

Code

Draft

rtetley wants to merge 2 commits intomaincoq/vscoq:mainfrom docstring_poccoq/vscoq:docstring_pocCopy head branch name to clipboard

+10

Commits

Commits on Jan 20, 2025

• feat: add doc string support

  Show description for 1439af4
  rtetley

  committed
  1439af4

  Copy full SHA for 1439af4

Commits on Jan 21, 2025

• feat: docstrings shift

  Show description for 5413438
  rtetley

  committed
  5413438

  Copy full SHA for 5413438