History log of /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/Makefile
Revision Date Author Comments
# af16f0c7 08-Jun-2011 blanchet <none@none>

new Metis version
# e191c1cd 24-Mar-2011 blanchet <none@none>

new version of Metis 2.3 (29 Dec. 2010)
# f0c6682f 15-Sep-2010 blanchet <none@none>

MIT license -> BSD License
# eff8d487 15-Sep-2010 blanchet <none@none>

copied the unmodified official Metis 2.3 (15 Sept. 2010) sources into Isabelle
# 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"