isabelle: Changelog

wenzelm [Thu, 11 Jul 2013 10:43:53 +0200] rev 52586

tuned;

wenzelm [Wed, 10 Jul 2013 23:30:10 +0200] rev 52585

added "echo" command for demonstration purposes;

wenzelm [Wed, 10 Jul 2013 23:25:28 +0200] rev 52584

more abstract message channel;

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);

isabelle