History log of /seL4-l4v-master/HOL4/src/portableML/holmake_holpathdb.sml
Revision Date Author Comments
# d7319c34 23-Sep-2019 Michael Norrish <Michael.Norrish@nicta.com.au>

Improve Moscow ML's handling of holpathdb

Thanks to Chun Tian for the bug report.

Closes #737