Code

Some fixes#137

Code

Open

mtzguido wants to merge 4 commits intoFStarLang:masterFStarLang/fstar-mode.el:masterfrom mtzguido:fixesmtzguido/fstar-mode.el:fixesCopy head branch name to clipboard

+18-3

Commits

Commits on Jun 26, 2023

• Introduce: C-c C-g to typecheck whole buffer

  Show description for 959e6cc
  mtzguido

  committed
  959e6cc

  Copy full SHA for 959e6cc

Commits on Jun 28, 2023

• Fix regex for finding subtype annotations

  Show description for 78c435c
  mtzguido

  committed
  78c435c

  Copy full SHA for 78c435c

• Mark %splice as a syntax header and highlight it

  mtzguido

  committed
  2baec93

  Copy full SHA for 2baec93

• Fix fstar-debug-invocation

  Show description for acd60cf
  mtzguido

  committed
  acd60cf

  Copy full SHA for acd60cf