Changes between Version 1 and Version 2 of SchoolScalay21


Ignore:
Timestamp:
11 Feb 2021, 14:25:46 (6 months ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SchoolScalay21

    v1 v2  
    1414
    1515We are going to mainly use `Emacs`, that is preinstalled & configured, as an interface for the different tools.
     16
     17The school material can also be downloaded from [https://gitlab.com/easycrypt/cyberinsaclay21.git here].