| Fri, 11 Nov 2016 16:52:26 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 11 Nov 2016 16:49:59 +0100 | wenzelm | build sha1 library; | changeset | files |
| Fri, 11 Nov 2016 16:10:46 +0100 | wenzelm | proper CONFIG_SITE for msys; | changeset | files |
| Fri, 11 Nov 2016 15:24:56 +0100 | wenzelm | clarified platform selection; | changeset | files |
| Fri, 11 Nov 2016 13:57:01 +0100 | wenzelm | more robust Windows platform; | changeset | files |
| Fri, 11 Nov 2016 12:14:03 +0100 | wenzelm | copy libgmp on Linux; | changeset | files |
| Fri, 11 Nov 2016 11:41:14 +0100 | wenzelm | prefer raw Admin tool, without Isabelle settings environment; | changeset | files |