History log of /seL4-l4v-master/HOL4/src/TeX/mkmkcline.sml
Revision Date Author Comments
# f743c42e 02-May-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

Make staticness of munger optional, and not the default.

(On my installation of MacOS (10.5.8), static mungers fail to build.
On Linux, it works but creates piles of awful warnings about symbols.)


# 986ada4e 07-Apr-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

mkmunge can now take a -o filename option to specify name of resulting munger.