isartags

Emacs mode for standard

Install

All systems
curl cmd.cat/isartags.sh
Fedora
dnf install emacs-common-proofgeneral

emacs-common-proofgeneral

Emacs mode for standard