Changes between Version 37 and Version 38 of WikiStart


Ignore:
Timestamp:
Jun 18, 2012, 2:07:49 PM (5 years ago)
Author:
mulligan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v37 v38  
    77=== CPP 2012 submissions ===
    88
    9 Code for the two CerCo CPP 2012 submissions can be found attached to the bottom of this page in the file "CPP2012.tar.gz".  A snapshot of a recent version of Matita for typechecking these submissions can also be found attached in the file "Matita-18-06-2012.tar.gz".
     9Code for the two CerCo CPP 2012 submissions can be found attached to the bottom of this page in the file "CPP2012.tar.gz".  A snapshot of a recent version of Matita for typechecking these submissions can also be found attached in the file "Matita-18-06-2012.tar.gz".  To build Matita, extract the files, change to the target directory, type ./configure and then make world.  An optimised set of Matita binaries (matita.opt) will be built in the "matita" subdirectory.
    1010
    1111=== Related work ===