History log of /seL4-l4v-10.1.1/HOL4/tools/Holmake/mlton/Holmake.mlb
Revision Date Author Comments
# edfae272 14-Jun-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Remove an unnecessary line in the Holmake.mlb file

The use of the "built-in" mlton mlb only needs to be done in
hmcore.mlb, where Systeml.sml is referenced, requiring a pointer
equality implementation.


# 923dba72 14-Jun-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Refactor some .mlb files to get better sharing/modularity


# 1391f0da 07-Jun-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

First hack at providing mlton Holmake