| 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 |
| Tue, 18 Oct 2016 16:04:44 +0200 | nipkow | NEWS | changeset | files |
| Thu, 20 Oct 2016 18:42:01 +0200 | hoelzl | HOL-Probability: generalize theorems about cumulative distribution function | changeset | files |