| Fri, 31 May 2019 12:29:02 +0200 | nipkow | tuned proof | changeset | files |
| Fri, 31 May 2019 10:39:35 +0200 | nipkow | tuned | changeset | files |
| Mon, 27 May 2019 16:47:17 +0200 | wenzelm | merged | changeset | files |
| Mon, 27 May 2019 15:08:51 +0200 | wenzelm | more direct invocation of Windows exe: avoid extra bash, cygpath, exec; | changeset | files |
| Mon, 27 May 2019 14:25:00 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 27 May 2019 12:05:16 +0200 | wenzelm | updated to bash_process-1.2.3: rebuild on current reference PLATFORMS; | changeset | files |
| Sat, 25 May 2019 14:13:46 +0200 | wenzelm | Added tag Isabelle2019-RC3 for changeset 85de4fdec61b | changeset | files |