History log of /seL4-l4v-10.1.1/HOL4/tools/mlyacc/mlyacclib/Holmakefile
Revision Date Author Comments
# be09dd45 22-Jun-2006 Michael Norrish <Michael.Norrish@nicta.com.au>

Changed the names of the files in mlyacclib because I want these files
to move into sigobj, and I don't want name-clashes, particularly with
names like stream.sml. (If you use a parser generated by mlyacc, then
you need to have the files in mlyacclib available too.)


# 4b66a957 22-Jun-2006 Michael Norrish <Michael.Norrish@nicta.com.au>

Add a MoscowML compilable implementation of MLyacc, using the MLton sources
as the base.