| 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 |