History log of /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/make_mlyacclib
Revision Date Author Comments
# 6c3fb8e5 31-Dec-2015 wenzelm <none@none>

expand hard tabs;
# 2a0d4ed7 25-Mar-2014 wenzelm <none@none>

proper configuration option "ML_print_depth";
proper ML_exception_trace for HOL-TPTP;
# 08e4590c 10-Sep-2013 wenzelm <none@none>

more portable hash-bang;
# 913c1f89 09-Mar-2012 sultana <none@none>

split make_tptp_parser into two scripts, for parser and lib respectively;