language-isabelle
Provides syntax highlighting and symbol rendering for Isabelle theory files
aca13jmf 163 0 0.1.3 MIT GitHub

language-isabelle

Provides syntax highlighting and symbol rendering for Isabelle theory files.