History log of /seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/Holmakefile
Revision Date Author Comments
# 46001cd5 27-Sep-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

Make mlyacc emit no trailing whitespace.


# 2d466b94 09-Jan-2008 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix for a bug detected by Aditi Barthwal; on Windows the failure to
use $(protect ...) results in passing an unprotected filename to the
command-line, and such filenames may include spaces.


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