Code

feat: source file highlighting#61

Code

Merged

david-christiansen merged 4 commits intomainleanprover/subverso:mainfrom hl-modleanprover/subverso:hl-modCopy head branch name to clipboardNov 22, 2024

+124

Commits

Commits on Nov 20, 2024

• feat: source file highlighting

  Show description for 31cc4a8
  david-christiansen

  committed
  31cc4a8

Commits on Nov 21, 2024

• feat: also highlight executables

  david-christiansen

  committed
  3537a46

• fix: more informative error message

  david-christiansen

  committed
  0f51d9f

• fix: look here for module as well

  david-christiansen

  committed
  179e931