merge-o-matic
authorconor@cis.strath.ac.uk
local dateThu, 24 Nov 2011 16:23:01
dateThu, 24 Nov 2011 16:23:01
hash20111124162301-5aa40-5e21448a0264ede8ecb91ad278c77a631d2b9660.gz
2 file(s) changed:
src/Elaboration/NewElaborator.lhs +2 -1
src/Epitome.lhs +7 -0