History log of /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/Makefile.FILES
Revision Date Author Comments
# 1541afba 16-Sep-2010 blanchet <none@none>

streamlined "make_metis"
# 98fa81ce 15-Sep-2010 blanchet <none@none>

make "metis.ML" building process slightly more robust by eliminating the need for "FILES";
instead, query the original "Makefile"