Hello, I’m working on the coq-prover snap package and I’d like two aliases:
-
coq-prover.coqide
->coqide
-
coq-prover.coq-makefile
->coq_makefile
The former is what Coq users are used to type in order to start the classic Coq UI from a shell.
The latter is the command that the Coq documentation suggests to use in order to build a Coq project, it would be unhandy to use the long name, not to mention that people typically call that utility from Makefiles they write themselves.
Best