Code

Fix two syntax file issues#20

Code

Closed

maxzinkus wants to merge 2 commits intoFStarLang:masterFStarLang/VimFStar:masterfrom maxzinkus:masterCopy head branch name to clipboard

+13-12

Commits

Commits on Dec 2, 2019

• Update syntax file to handle nested comments

  Show description for b279d7b
  maxzinkus

  authored
  b279d7b

• Fix module line syntax matching

  maxzinkus

  authored
  a3a9e92