History log of /seL4-l4v-master/HOL4/tools-poly/makefile.muddy.src
Revision Date Author Comments
# 445073c5 17-Apr-2008 Scott Owens <Scott.Owens@cl.cam.ac.uk>

PolyML compatibility. See tools-poly/README.