[reform: fixed missing tag. Makefile, change how reform is built, added validation Jeremy Shaw **20120521234923 Ignore-this: d6325e42b7bdb23a2fcb5b0326eaadc4 ] hunk ./Makefile 38 -%.html : %.markdown.lhs - cpphs --noline -DHsColour $< | sed 's/^] /> /' | ./HsColour -css -partial -lit | markdown --html4tags > $@ +%.html : %.markdown.lhs header.tpl footer.tpl + cat header.tpl > $@ + cpphs --noline -DHsColour $< | sed 's/^] /> /' | ./HsColour -css -partial -lit | markdown --html4tags >> $@ + cat footer.tpl >> $@ + validate -w --verbose --emacs $@ hunk ./Reform.markdown.lhs 1 - - - - Crash Course in Happstack - - - - hunk ./Reform.markdown.lhs 794 -

Using Proofs in unproven Forms

+

Using Proofs in unproven Forms

hunk ./Reform.markdown.lhs 867 - - - addfile ./footer.tpl hunk ./footer.tpl 1 + + + addfile ./header.tpl hunk ./header.tpl 1 + + + + Crash Course in Happstack + + + +