| Mon, 16 Mar 2020 17:03:04 +0100 | wenzelm | clarified connection parameters; | changeset | files |
| Sun, 15 Mar 2020 15:00:22 +0100 | wenzelm | clarified test; | changeset | files |
| Sun, 15 Mar 2020 13:41:33 +0100 | traytel | remove Thm.transfer workaround made obsplete by cf2406e654cf | changeset | files |
| Sun, 15 Mar 2020 13:20:22 +0100 | wenzelm | back to post-release mode; | changeset | files |
| Sun, 15 Mar 2020 11:57:59 +0100 | wenzelm | Added tag Isabelle2020-RC2 for changeset 7eadccd4392c | changeset | files |
| Sun, 15 Mar 2020 11:55:16 +0100 | wenzelm | claried error elements: include internalized errors of tokens/commands; | changeset | files |
| Sun, 15 Mar 2020 11:38:36 +0100 | wenzelm | more robust connection via proxy_host; | changeset | files |