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 |