Devloping Magma with VSCode
With respect to the ongoing documentation restructuring this page was moved to the Github Wiki.
Esta é a documentação para Magma Documentation 1.7.0, que não é mais mantida ativamente.
Para a documentação atualizada, consulte a versão mais recente (1.8.0).