| 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 |