grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
# Isabelle language supportThis extension provides language support for Isabelle.Make sure that User Settings `isabelle.home` points to the ISABELLE_HOMEdirectory.