summaryrefslogtreecommitdiff
path: root/isabelle.sublime-syntax (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-09-04basic sublime text highlighter syntax (for bat)stuebinm1-0/+47
This is mostly based on the syntax generated by `isabelle vscode_grammar` for the list of keywords; choice of scopes is heavily biased by my understanding of the subset of isabelle syntax I actually know about. For now, it makes no attempt to actually understand anything of what is going on in a file (except for strings/comments) and simply matches keywords. Note that scope selection does not make sense, and is mostly based on looking into which scopes are assigned useful colours by common highlighter themes (mostly bat's default theme and TwoDark for now)