wenzelm [Mon, 05 Feb 2024 21:49:26 +0100] rev 79580
update to windows_app-20240205, with executables for linux, linux_arm, macos;
wenzelm [Mon, 05 Feb 2024 13:03:06 +0100] rev 79579
omit redundant options;
wenzelm [Mon, 05 Feb 2024 12:59:34 +0100] rev 79578
tuned README;
wenzelm [Mon, 05 Feb 2024 12:13:35 +0100] rev 79577
uniform build of binutils for linux, linux_arm, macos;
Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Fri, 19 Jan 2024 13:56:26 +0100] rev 79576
fix reconstruction of Alethe's and_pos rule
desharna [Mon, 05 Feb 2024 10:06:34 +0100] rev 79575
added lemmas Multiset.transp_on_multp and Multiset.trans_on_mult
wenzelm [Sun, 04 Feb 2024 23:05:35 +0100] rev 79574
proper target option, following package binutils-mingw-w64-x86-64 from Debian/Ubuntu;
wenzelm [Sun, 04 Feb 2024 21:51:30 +0100] rev 79573
updated windows_app based on launch4j-3.50-linux-x64, without rebuilding GNU binutils (missing COFF target pe-i386);
wenzelm [Sun, 04 Feb 2024 21:32:24 +0100] rev 79572
proper sfx_archive_name;
wenzelm [Sun, 04 Feb 2024 20:54:30 +0100] rev 79571
clarified options;