GitHub PushEvent at 2014-07-04 00:00:15
Repository: herdtools
Actor: johnwickerson
Payload: {"shas":[["ca1e9aa169546470f0ed83664499cb4f60aaaf36","9299b1aa825f759a752bfc15edeb0712f12b1581@cantab.net","Added ability to dump a cat file to LaTeX. The keywords in the file are printed nicely, as are the mathematical symbols. I arranged it so that variable names like \"foo_bar\" are understood as \"foo_{bar}\" by LaTeX; not sure if this is a useful feature or not. You can also write \"{ blah }\" in cat files (at the top level, i.e. not inside an instruction), and \"blah\" will be glued into the LaTeX output verbatim at the right point. To try this out on the PTX model, run \"./herd -model ptx.cat -dumptex testsuite/GPU_PTXTests/MP.litmus > john.tex\" and then \"pdflatex john.tex\".","John Wickerson",true]],"size":1,"ref":"refs/heads/master","head":"ca1e9aa169546470f0ed83664499cb4f60aaaf36"}