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;
wenzelm [Sat, 12 Apr 2025 16:00:56 +0200] rev 82490
clarified default options: prefer GMP from source;
paulson <lp15@cam.ac.uk> [Sat, 12 Apr 2025 22:42:32 +0100] rev 82489
Tidied more messy old proofs
paulson <lp15@cam.ac.uk> [Fri, 11 Apr 2025 22:17:06 +0100] rev 82488
more tidying and simplifying
paulson [Fri, 11 Apr 2025 21:57:03 +0100] rev 82487
merged
paulson <lp15@cam.ac.uk> [Fri, 11 Apr 2025 21:56:56 +0100] rev 82486
tidying some old proofs
paulson <lp15@cam.ac.uk> [Fri, 11 Apr 2025 16:24:04 +0100] rev 82485
Generalised a lemma and added another
wenzelm [Thu, 10 Apr 2025 22:54:40 +0200] rev 82484
merged
wenzelm [Thu, 10 Apr 2025 22:18:50 +0200] rev 82483
more robust;
wenzelm [Thu, 10 Apr 2025 21:27:55 +0200] rev 82482
more robust;
wenzelm [Thu, 10 Apr 2025 20:54:02 +0200] rev 82481
clarified GMP build options, notably for Windows;
wenzelm [Thu, 10 Apr 2025 20:39:06 +0200] rev 82480
more robust access to GMP library that is provided here;
wenzelm [Thu, 10 Apr 2025 20:02:38 +0200] rev 82479
clarified command-line;
wenzelm [Thu, 10 Apr 2025 19:56:51 +0200] rev 82478
tuned;
wenzelm [Thu, 10 Apr 2025 16:54:31 +0200] rev 82477
tuned;
wenzelm [Thu, 10 Apr 2025 14:25:12 +0200] rev 82476
more uniform verbose mode;
wenzelm [Thu, 10 Apr 2025 14:12:33 +0200] rev 82475
more explicit build stages;
wenzelm [Thu, 10 Apr 2025 13:43:37 +0200] rev 82474
tuned;
wenzelm [Thu, 10 Apr 2025 13:25:01 +0200] rev 82473
more uniform platform_context.execute;
wenzelm [Thu, 10 Apr 2025 13:15:57 +0200] rev 82472
more robust shell script;
wenzelm [Thu, 10 Apr 2025 13:09:53 +0200] rev 82471
tuned comments;
paulson <lp15@cam.ac.uk> [Thu, 10 Apr 2025 17:07:18 +0100] rev 82470
A couple of new lemmas
wenzelm [Wed, 09 Apr 2025 22:45:04 +0200] rev 82469
merged
wenzelm [Wed, 09 Apr 2025 22:37:58 +0200] rev 82468
clarified Windows: always use MinGW version (it is unclear how to build libgmp-10.dll);
wenzelm [Wed, 09 Apr 2025 22:29:11 +0200] rev 82467
clarified signature: fewer warnings in IntelliJ IDEA;