| Thu, 20 Aug 2015 13:41:53 +0200 | wenzelm | precise BinIO, without newline conversion on Windows; | changeset | files |
| Wed, 19 Aug 2015 22:40:41 +0200 | wenzelm | repaired proofs after 6a6f15d8fbc4; | changeset | files |
| Wed, 19 Aug 2015 22:09:33 +0200 | wenzelm | merged | changeset | files |
| Wed, 19 Aug 2015 21:51:30 +0200 | wenzelm | clarified x86-windows setup; | changeset | files |
| Wed, 19 Aug 2015 20:41:23 +0200 | wenzelm | proper check for Windows executables; | changeset | files |
| Wed, 19 Aug 2015 19:54:02 +0200 | wenzelm | Cygwin bash on Windows; | changeset | files |
| Wed, 19 Aug 2015 19:53:45 +0200 | wenzelm | tuned; | changeset | files |