Mon, 03 Dec 2012 16:07:28 +0100 | wenzelm | synchronized read access to cache file -- avoid potential conflict with ongoing write (which is non-atomic); | changeset | files |
Mon, 03 Dec 2012 15:23:36 +0100 | wenzelm | tuned; | changeset | files |
Mon, 03 Dec 2012 14:44:00 +0100 | wenzelm | recovered error to finish proof (e.g. bad obtain export) from 223f18cfbb32; | changeset | files |
Sun, 02 Dec 2012 22:20:12 +0100 | wenzelm | semi-automated Cygwin setup; | changeset | files |
Sun, 02 Dec 2012 17:22:19 +0100 | wenzelm | misc tuning; | changeset | files |
Sun, 02 Dec 2012 14:56:49 +0100 | wenzelm | updated to sumatra_pdf-2.1.1; | changeset | files |