Changes between Version 28 and Version 29 of WikiStart

Timestamp:

Nov 29, 2013, 4:13:55 PM (11 years ago)

Author:

benl

Comment:

--

WikiStart

@@ -23 +23 @@
  * You will need a working version of [http://coq.inria.fr Coq]. The proofs are known to work with Coq 8.4.
 
- * We use [http://darcs.net/ darcs] for version control.
+ * Source code is on github
 {{{
-$ darcs get http://code.ouroborus.net/iron/iron-head/
+git clone https://github.com/benl23x5/iron
 }}}
 
  * 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.
 {{{
- $ cd iron-head
+ $ cd iron
  $ make
 }}}