Changes between Version 7 and Version 8 of WikiStart

Timestamp:

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

Author:

benl

Comment:

--

WikiStart

@@ -16 +16 @@
   use them in yours they're completely unreadable.
 
-* Heavy use of the 'burn' megatactic. This is in the same vein as Chilpala's
- 'crush' tactic, but at the time I couldn't work out what 'crush' was doing...
+* Heavy use of the `burn` megatactic. This is in the same vein as Chilpala's
+ `crush` tactic, but at the time I couldn't work out what `crush` was doing...
 
-* Uses the 'Case' meta-tactic to add structure.
+* Uses the `Case` and `SCase` etc tactics to add structure.
 
 == Installation ==
@@ -35 +35 @@
  $ make
 }}}
+
+== More Information ==
+
+ * Send email to `coq (wibble) ouroborus.net`