2013-07-10 wenzelm fall back on synchronous message output for single-threaded SML/NJ;
2013-07-10 wenzelm make SML/NJ happy;
2013-07-10 wenzelm retain main thread for protocol loop -- no access to raw ML toplevel;
2013-07-10 wenzelm removed historic dimacs2hol (see also read_dimacs_cnf_file in src/HOL/Tools/sat_solver.ML);
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 tip