isartags

Emacs mode for standard

Fedora
RUN dnf install -y emacs-common-proofgeneral
click the source code to copy install isartags on any operating system with command-not-found.com