Thu, 09 Feb 2023 12:51:18 +0100 tuned text default tip
nipkow [Thu, 09 Feb 2023 12:51:18 +0100] rev 77224
tuned text
Wed, 08 Feb 2023 15:05:24 +0000 Lots of new material chiefly about complex analysis
paulson <lp15@cam.ac.uk> [Wed, 08 Feb 2023 15:05:24 +0000] rev 77223
Lots of new material chiefly about complex analysis
Tue, 07 Feb 2023 14:10:15 +0000 merged
paulson [Tue, 07 Feb 2023 14:10:15 +0000] rev 77222
merged
Tue, 07 Feb 2023 14:10:08 +0000 More new theorems from the number theory development
paulson <lp15@cam.ac.uk> [Tue, 07 Feb 2023 14:10:08 +0000] rev 77221
More new theorems from the number theory development
Mon, 06 Feb 2023 21:32:22 +0100 merged
wenzelm [Mon, 06 Feb 2023 21:32:22 +0100] rev 77220
merged
Mon, 06 Feb 2023 21:31:49 +0100 proper orientation for right-associative operations;
wenzelm [Mon, 06 Feb 2023 21:31:49 +0100] rev 77219
proper orientation for right-associative operations;
Mon, 06 Feb 2023 16:29:19 +0100 tuned signature;
wenzelm [Mon, 06 Feb 2023 16:29:19 +0100] rev 77218
tuned signature;
Mon, 06 Feb 2023 16:26:40 +0100 tuned signature;
wenzelm [Mon, 06 Feb 2023 16:26:40 +0100] rev 77217
tuned signature;
Mon, 06 Feb 2023 16:21:25 +0100 tuned signature;
wenzelm [Mon, 06 Feb 2023 16:21:25 +0100] rev 77216
tuned signature;
Mon, 06 Feb 2023 16:11:05 +0100 obsolete --- superseded by SHA1.Shasum operations;
wenzelm [Mon, 06 Feb 2023 16:11:05 +0100] rev 77215
obsolete --- superseded by SHA1.Shasum operations;
Mon, 06 Feb 2023 16:04:17 +0100 clarified signature, using right-associative operation;
wenzelm [Mon, 06 Feb 2023 16:04:17 +0100] rev 77214
clarified signature, using right-associative operation;
Mon, 06 Feb 2023 15:53:58 +0100 tuned whitespace;
wenzelm [Mon, 06 Feb 2023 15:53:58 +0100] rev 77213
tuned whitespace;
Mon, 06 Feb 2023 15:50:49 +0100 tuned --- implicit split;
wenzelm [Mon, 06 Feb 2023 15:50:49 +0100] rev 77212
tuned --- implicit split;
Mon, 06 Feb 2023 15:46:27 +0100 clarified signature;
wenzelm [Mon, 06 Feb 2023 15:46:27 +0100] rev 77211
clarified signature;
Mon, 06 Feb 2023 15:35:18 +0100 prefer explicit shasum: more robust due to explicit file names, which often work implicitly in LaTeX;
wenzelm [Mon, 06 Feb 2023 15:35:18 +0100] rev 77210
prefer explicit shasum: more robust due to explicit file names, which often work implicitly in LaTeX;
(0) -30000 -10000 -3000 -1000 -300 -100 -15 tip