History log of /seL4-l4v-master/HOL4/src/TeX/theory_tests/mdtScript.sml
Revision Date Author Comments
# 9f4b3059 10-Nov-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Change type_abbrev to not alter printing behaviour

If printing of abbreviations is desired, users must now use
type_abbrev_pp.

Closes #599
# 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.