Changes between Version 7 and Version 8 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v7 v8  
    1616  use them in yours they're completely unreadable.
    1717
    18 * Heavy use of the 'burn' megatactic. This is in the same vein as Chilpala's
    19  'crush' tactic, but at the time I couldn't work out what 'crush' was doing...
     18* Heavy use of the `burn` megatactic. This is in the same vein as Chilpala's
     19 `crush` tactic, but at the time I couldn't work out what `crush` was doing...
    2020
    21 * Uses the 'Case' meta-tactic to add structure.
     21* Uses the `Case` and `SCase` etc tactics to add structure.
    2222
    2323== Installation ==
     
    3535 $ make
    3636}}}
     37
     38== More Information ==
     39
     40 * Send email to `coq (wibble) ouroborus.net`
    3741
    3842