isartags

Emacs mode for standard

Install

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

emacs-common-proofgeneral

Emacs mode for standard