Set latexmk to continous preview, requires custom latexmkrc to call lhs2tex
authorChristiaan Baaij <baaijcpr@wlan229203.mobiel.utwente.nl>
Thu, 11 Feb 2010 11:30:36 +0000 (12:30 +0100)
committerChristiaan Baaij <baaijcpr@wlan229203.mobiel.utwente.nl>
Thu, 11 Feb 2010 11:30:36 +0000 (12:30 +0100)

No differences found