isabelle: Changelog

wenzelm [Wed, 10 Jul 2013 22:56:48 +0200] rev 52583

explicit shutdown of message output thread;

wenzelm [Wed, 10 Jul 2013 22:04:57 +0200] rev 52582

tuned signature;

wenzelm [Wed, 10 Jul 2013 21:54:43 +0200] rev 52581

no need for raw stdin;

wenzelm [Wed, 10 Jul 2013 21:21:37 +0200] rev 52580

fall back on synchronous message output for single-threaded SML/NJ;

wenzelm [Wed, 10 Jul 2013 21:13:32 +0200] rev 52579

make SML/NJ happy;

wenzelm [Wed, 10 Jul 2013 20:44:39 +0200] rev 52578

retain main thread for protocol loop -- no access to raw ML toplevel;

wenzelm [Wed, 10 Jul 2013 20:19:51 +0200] rev 52577

removed historic dimacs2hol (see also read_dimacs_cnf_file in src/HOL/Tools/sat_solver.ML);

wenzelm [Wed, 10 Jul 2013 20:16:04 +0200] rev 52576

less intrusive token_range rendering, which is relevant for inner parse errors;

smolkas [Wed, 10 Jul 2013 13:43:23 +0200] rev 52575

made SML/NJ happy

wenzelm [Wed, 10 Jul 2013 12:35:18 +0200] rev 52574

merged

isabelle