2 Commits

Author	SHA1	Message	Date
Patrick Hilhorst	a6b3bb24e4	treewide: ran ./maintainers/scripts/update_redirected_urls.sh	2020-11-27 01:23:57 +01:00
Jakub Kądziołka	8205e12a45	z3_4_4_0: add old version for Isabelle	2020-10-03 21:32:22 +02:00