History log of /seL4-l4v-master/HOL4/developers/mosmlgbs.sml
Revision Date Author Comments
# 373feeb4 11-Dec-2012 Michael Norrish <michael.norrish@nicta.com.au>

Get Moscow ML building of developers/generateBuildSummary to work.