| Tue, 22 Dec 2020 23:59:45 +0100 | wenzelm | support jdk-15; | changeset | files |
| Tue, 22 Dec 2020 15:49:22 +0100 | wenzelm | more friendly desktop application on macOS; | changeset | files |
| Wed, 23 Dec 2020 16:25:52 +0000 | paulson | default simprule for geometric series | changeset | files |
| Tue, 22 Dec 2020 23:36:32 +0100 | nipkow | tuned | changeset | files |
| Mon, 21 Dec 2020 23:22:14 +0100 | wenzelm | less aggressive auto-build: avoid change of running jar; | changeset | files |
| Mon, 21 Dec 2020 22:55:57 +0100 | wenzelm | clarified window size; | changeset | files |
| Mon, 21 Dec 2020 22:47:53 +0100 | wenzelm | more robust Java monitor: avoid odd warning about insecure connection; | changeset | files |
| Mon, 21 Dec 2020 22:03:39 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 21 Dec 2020 21:56:20 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 21 Dec 2020 21:53:12 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 21 Dec 2020 14:03:12 +0100 | wenzelm | misc tuning for release; | changeset | files |
| Mon, 21 Dec 2020 13:58:11 +0100 | wenzelm | rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer; | changeset | files |
| Mon, 21 Dec 2020 13:03:23 +0100 | wenzelm | sort lines; | changeset | files |
| Mon, 21 Dec 2020 12:51:28 +0100 | wenzelm | provide zipperposition-2.0 for experimentation; | changeset | files |
| Mon, 21 Dec 2020 08:15:45 +0100 | desharna | merged | changeset | files |