language-isabelle Provides syntax highlighting and symbol rendering for Isabelle theory files aca13jmf 163 0 0.1.3 MIT GitHub Share Package Link MarkDown Link Iconic MarkDown Link Install language-isabelle Provides syntax highlighting and symbol rendering for Isabelle theory files.
