Add syntax highlighting for SML and HOL4#4104

lukaszcz wants to merge 1 commit into

micro-editor:mastermicro-editor/micro:masterfrom

lukaszcz:syntax-sml-hol4lukaszcz/micro:syntax-sml-hol4Copy head branch name to clipboard