| Wed, 10 Jul 2013 21:21:37 +0200 | wenzelm | fall back on synchronous message output for single-threaded SML/NJ; | changeset | files |
| Wed, 10 Jul 2013 21:13:32 +0200 | wenzelm | make SML/NJ happy; | changeset | files |
| Wed, 10 Jul 2013 20:44:39 +0200 | wenzelm | retain main thread for protocol loop -- no access to raw ML toplevel; | changeset | files |
| Wed, 10 Jul 2013 20:19:51 +0200 | wenzelm | removed historic dimacs2hol (see also read_dimacs_cnf_file in src/HOL/Tools/sat_solver.ML); | changeset | files |