| Thu, 20 Oct 2016 23:42:41 +0200 | wenzelm | merged | changeset | files |
| Thu, 20 Oct 2016 23:42:12 +0200 | wenzelm | test for Windows/Cygwin; | changeset | files |
| Thu, 20 Oct 2016 23:39:15 +0200 | wenzelm | extra trim_line for the sake of Windows; | changeset | files |
| Thu, 20 Oct 2016 23:05:13 +0200 | wenzelm | prevent sporadic disconnection; | changeset | files |
| Thu, 20 Oct 2016 16:29:02 +0200 | wenzelm | check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala; | changeset | files |
| Thu, 20 Oct 2016 19:39:27 +0200 | nipkow | tuned | changeset | files |