Changes between Version 14 and Version 15 of SchoolParis14


Ignore:
Timestamp:
23 Nov 2014, 00:25:32 (5 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SchoolParis14

    v14 v15  
    1919   * the SMT prover `eprover` is not available on your platform.
    2020
    21 '''Note that you might have to redownload the binary package on Monday'''
     21'''Note that you might have to redownload the binary package on Monday. If
     22you installed !EasyCrypt before the 23rd (exclusive) of November,
     23redownload the binary packages or update your source tree and reinstall it.'''
    2224
    2325In case you come to the !EasyCrypt tutorials without !EasyCrypt