Changes between Version 6 and Version 7 of WikiStart


Ignore:
Timestamp:
Dec 27, 2012, 2:37:47 PM (9 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v6 v7  
    2828{{{
    2929$ darcs get http://code.ouroborus.net/iron/iron-head/
     30}}}
     31
     32 * 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.
     33{{{
     34 $ cd iron-head
     35 $ make
    3036}}}
    3137