legotags

Emacs mode for standard

Install

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

emacs-common-proofgeneral

Emacs mode for standard