History log of /seL4-l4v-10.1.1/HOL4/src/TeX/theory_tests/mdtScript.sml
Revision Date Author Comments
# ca3127bd 13-Aug-2014 Michael Norrish <michael.norrish@nicta.com.au>

A new test-case for pretty-printing field selections to TeX
# 44305cb6 14-Jan-2014 Michael Norrish <michael.norrish@nicta.com.au>

Fix minor EmitTeX bug (introduced in 1032a64e1).

Use new cmp tool to check more elaborate munger example in
theory_tests directory.