Changes between Version 6 and Version 7 of WikiStart

Timestamp:

Dec 27, 2012, 2:37:47 PM (12 years ago)

Author:

benl

Comment:

--

WikiStart

@@ -28 +28 @@
 {{{
 $ darcs get http://code.ouroborus.net/iron/iron-head/
+}}}
+
+ * 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
+ $ make
 }}}