New vernacular command: theory aliases #3607

Job	Run time
EasyCrypt compilation (opam)	1m 16s
Fetch EasyCrypt External Projects Matrix	2s
EasyCrypt compilation (nix)	1m 17s
Check EasyCrypt Libraries (unit)	1m 25s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 59s
Check EasyCrypt Libraries (stdlib)	5m 13s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 5s
Check EasyCrypt Libraries (examples)	3m 9s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 27s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 49s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 46s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 57s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 27s
Check EasyCrypt External Projects (set-status)	3s
Notification	3s
	1h 6m 58s

Provide feedback