Mon, 19 Sep 2011 22:13:51 +0200double clicks switch to document node buffer;
wenzelm [Mon, 19 Sep 2011 22:13:51 +0200] rev 45872
double clicks switch to document node buffer;

Mon, 19 Sep 2011 21:53:07 +0200tuned;
wenzelm [Mon, 19 Sep 2011 21:53:07 +0200] rev 45871
tuned;

Mon, 19 Sep 2011 21:41:48 +0200explicit border independent of UI (cf. ad5883642a83, 2bec3b7514cf);
wenzelm [Mon, 19 Sep 2011 21:41:48 +0200] rev 45870
explicit border independent of UI (cf. ad5883642a83, 2bec3b7514cf);

Mon, 19 Sep 2011 16:40:17 +0200at least 2 worker threads to ensure some degree of lifeness, notably for asynchronous Document.print_state;
wenzelm [Mon, 19 Sep 2011 16:40:17 +0200] rev 45869
at least 2 worker threads to ensure some degree of lifeness, notably for asynchronous Document.print_state;

Mon, 19 Sep 2011 14:40:38 +0200instantaneous cleanup (NB: VIEWER should be synchronous, cf. dd25b3055c4e);
wenzelm [Mon, 19 Sep 2011 14:40:38 +0200] rev 45868
instantaneous cleanup (NB: VIEWER should be synchronous, cf. dd25b3055c4e);

Mon, 19 Sep 2011 14:31:20 +0200unique file names via serial numbers, to allow files like "root" or multiple files with same base name;
wenzelm [Mon, 19 Sep 2011 14:31:20 +0200] rev 45867
unique file names via serial numbers, to allow files like "root" or multiple files with same base name;

Mon, 19 Sep 2011 12:58:52 +0200imitate Apple in setting initial shell PATH -- especially relevant for MacTeX, MacPorts etc.;
wenzelm [Mon, 19 Sep 2011 12:58:52 +0200] rev 45866
imitate Apple in setting initial shell PATH -- especially relevant for MacTeX, MacPorts etc.;

Mon, 19 Sep 2011 16:18:34 +0200catch PatternMatchFail exceptions in narrowing-based quickcheck
bulwahn [Mon, 19 Sep 2011 16:18:34 +0200] rev 45865
catch PatternMatchFail exceptions in narrowing-based quickcheck

Mon, 19 Sep 2011 16:18:33 +0200removing superfluous definition in the quickcheck narrowing invocation as the code generator now generates valid Haskell code with necessary type annotations without a separate definition
bulwahn [Mon, 19 Sep 2011 16:18:33 +0200] rev 45864
removing superfluous definition in the quickcheck narrowing invocation as the code generator now generates valid Haskell code with necessary type annotations without a separate definition

Mon, 19 Sep 2011 16:18:30 +0200ensuring that some constants are generated in the source code by adding calls in ensure_testable
bulwahn [Mon, 19 Sep 2011 16:18:30 +0200] rev 45863
ensuring that some constants are generated in the source code by adding calls in ensure_testable