Changes between Version 28 and Version 29 of WikiStart


Ignore:
Timestamp:
Nov 29, 2013, 4:13:55 PM (8 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v28 v29  
    2323 * You will need a working version of [http://coq.inria.fr Coq]. The proofs are known to work with Coq 8.4.
    2424
    25  * We use [http://darcs.net/ darcs] for version control.
     25 * Source code is on github
    2626{{{
    27 $ darcs get http://code.ouroborus.net/iron/iron-head/
     27git clone https://github.com/benl23x5/iron
    2828}}}
    2929
    3030 * There is a top-level Makefile that will build all the proofs. For this to work `coqc` and `coqdep` need to be in your default path.
    3131{{{
    32  $ cd iron-head
     32 $ cd iron
    3333 $ make
    3434}}}