Labels

• good first issue

  good first issue

• help wanted

  help wanted

• issue: company-coq

  issue: company-coq

  This is a company-coq issue

• issue: upstream

  issue: upstream

  Issue handled upstream

• kind: bug

  kind: bug

• kind: cleanup

  kind: cleanup

• kind: documentation

  kind: documentation

• kind: enhancement

  kind: enhancement

• kind: feature

  kind: feature

• kind: fix

  kind: fix

• kind: infrastructure

  kind: infrastructure

• kind: meta

  kind: meta

• kind: question

  kind: question

• kind: regression

  kind: regression

• kind: test

  kind: test

• needs: discussion

  needs: discussion

• needs: documentation

  needs: documentation

• needs: fixing

  needs: fixing

• needs: more info

  needs: more info

• needs: rebase

  needs: rebase

• needs: squash

  needs: squash

• needs: testing

  needs: testing

• part: coq-compile

  part: coq-compile

• part: easycrypt

  part: easycrypt

• part: indentation

  part: indentation

  Problems with indentation feature of PG

• part: phox

  part: phox

• part: proof-tree

  part: proof-tree

• pg: async

  pg: async

  Related to (unmaintained) async PG with asynchronous Coq proofs

• pg: proof-shell

  pg: proof-shell

  Related to (default) master PG using proof-shell

• pg: proof-shell + async

  pg: proof-shell + async

  Related to both master and (unmaintained) async branches