Manuel Eberl <manuel@pruvisto.org> [Tue, 15 Apr 2025 17:38:20 +0200] rev 82518
lots of lemmas for HOL, HOL-{Complex_}Analysis, HOL-Number_Theory
Manuel Eberl <manuel@pruvisto.org> [Tue, 15 Apr 2025 15:17:25 +0200] rev 82517
new lemmas for HOL-Complex_Analysis; overhaul of isolated_zeros
haftmann [Tue, 15 Apr 2025 23:04:44 +0200] rev 82516
official theory for using bit shift operations for ordinary arithmetic if feasible
haftmann [Tue, 15 Apr 2025 19:40:42 +0200] rev 82515
corrected operation
haftmann [Tue, 15 Apr 2025 19:40:39 +0200] rev 82514
tuned whitespace
paulson <lp15@cam.ac.uk> [Tue, 15 Apr 2025 15:30:21 +0100] rev 82513
Simplified old proofs
wenzelm [Mon, 14 Apr 2025 20:42:03 +0200] rev 82512
merged
wenzelm [Mon, 14 Apr 2025 20:04:40 +0200] rev 82511
update to recent MSYS2 / MinGW, which also works via Cygwin;
haftmann [Mon, 14 Apr 2025 20:19:05 +0200] rev 82510
tuned
haftmann [Mon, 14 Apr 2025 20:19:05 +0200] rev 82509
tuned
haftmann [Mon, 14 Apr 2025 20:19:05 +0200] rev 82508
tuned
haftmann [Mon, 14 Apr 2025 20:19:05 +0200] rev 82507
tuned
haftmann [Mon, 14 Apr 2025 20:19:05 +0200] rev 82506
revamped generation of functions
haftmann [Mon, 14 Apr 2025 20:19:05 +0200] rev 82505
NEWS
haftmann [Mon, 14 Apr 2025 20:19:05 +0200] rev 82504
typo
desharna [Mon, 14 Apr 2025 13:57:48 +0200] rev 82503
tuned
paulson [Sun, 13 Apr 2025 23:01:03 +0100] rev 82502
merged
paulson <lp15@cam.ac.uk> [Sun, 13 Apr 2025 23:00:55 +0100] rev 82501
Tidied some proofs
wenzelm [Sun, 13 Apr 2025 20:21:57 +0200] rev 82500
merged
wenzelm [Sun, 13 Apr 2025 12:29:31 +0200] rev 82499
clarified signature: more uniform;
wenzelm [Sun, 13 Apr 2025 12:26:30 +0200] rev 82498
tuned;
wenzelm [Sun, 13 Apr 2025 12:23:48 +0200] rev 82497
more accurate MinGW path conversion: support locations outside of mingw.root;
uniform treatment of GMP, including Windows;
wenzelm [Sat, 12 Apr 2025 22:10:57 +0200] rev 82496
tuned messages;
wenzelm [Sat, 12 Apr 2025 19:22:43 +0200] rev 82495
tuned;
wenzelm [Sat, 12 Apr 2025 19:14:54 +0200] rev 82494
more uniform directory structure: Windows DLLs are treated like binaries;
wenzelm [Sat, 12 Apr 2025 19:05:31 +0200] rev 82493
tuned messages;
wenzelm [Sat, 12 Apr 2025 17:24:09 +0200] rev 82492
more uniform make_polyml_gmp vs. make_polyml;
wenzelm [Sat, 12 Apr 2025 17:12:51 +0200] rev 82491
clarified options: explicit use of existing GMP library;