| Mon, 06 Feb 2023 21:31:49 +0100 |
wenzelm |
proper orientation for right-associative operations;
|
changeset |
files
|
| Mon, 06 Feb 2023 16:29:19 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 06 Feb 2023 16:26:40 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 06 Feb 2023 16:21:25 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 06 Feb 2023 16:11:05 +0100 |
wenzelm |
obsolete --- superseded by SHA1.Shasum operations;
|
changeset |
files
|
| Mon, 06 Feb 2023 16:04:17 +0100 |
wenzelm |
clarified signature, using right-associative operation;
|
changeset |
files
|
| Mon, 06 Feb 2023 15:53:58 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Mon, 06 Feb 2023 15:50:49 +0100 |
wenzelm |
tuned --- implicit split;
|
changeset |
files
|
| Mon, 06 Feb 2023 15:46:27 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 06 Feb 2023 15:35:18 +0100 |
wenzelm |
prefer explicit shasum: more robust due to explicit file names, which often work implicitly in LaTeX;
|
changeset |
files
|
| Mon, 06 Feb 2023 15:11:07 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 06 Feb 2023 15:04:21 +0100 |
wenzelm |
more uniform use of SHA1.Shasum;
|
changeset |
files
|