New vernacular command: theory aliases #3639

Job	Run time
EasyCrypt compilation (opam)	2m 46s
Fetch EasyCrypt External Projects Matrix	3s
EasyCrypt compilation (nix)	1m 23s
Check EasyCrypt Libraries (unit)	2m 46s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 31s
Check EasyCrypt Libraries (stdlib)	6m 42s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	14m 57s
Check EasyCrypt Libraries (examples)	4m 33s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 53s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	3m 8s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	9m 9s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 55s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	22m 37s
Check EasyCrypt External Projects (set-status)	3s
Notification	3s
	1h 23m 29s

Provide feedback