How To Install Legotags?
Install legotags
-
Fedora
dnf install emacs-common-proofgeneral
Click to copy
emacs-common-proofgeneral
Emacs mode for standard
Install the latest version of legotags in Fedora from terminal. To install the legotags just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of legotags from the respository and install it in your computer/server.