| Wed, 19 Aug 2015 16:21:10 +0200 | wenzelm | avoid ambiguities on native Windows, such as / vs. /cygdrive/c/cygwin; | changeset | files |
| Wed, 19 Aug 2015 19:18:19 +0100 | paulson | New material and fixes related to the forthcoming Stone-Weierstrass development | changeset | files |
| Wed, 19 Aug 2015 15:40:59 +0200 | wenzelm | disabled auto resolve, until practical consequences are more clear; | changeset | files |