repos / Pig09 / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs | raw
Mare graceful failure when mispalling tactic names
authorpwm@cs.nott.ac.uk
local dateFri, 06 Jan 2012 15:20:23
dateFri, 06 Jan 2012 15:20:23
hash20120106152023-8a29d-55c38a3e65f03e83df9964bff5afb8817b642b1a.gz
Mare graceful failure when mispalling tactic names

Ignore-this: f720e84ee1dac40b643859a9774fc254
1 file(s) changed:
src/Cochon/Cochon.lhs +3 -4 diff | history | annotate
Epigramming across the Continent