diff options
author | Norbert Preining <norbert@preining.info> | 2022-03-09 03:01:03 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-03-09 03:01:03 +0000 |
commit | b23d702a4a177c6d047cd03020e5a0fb7effd88a (patch) | |
tree | 60f860c1b86caf0fa6637b79a3490f642b57c761 /systems/doc | |
parent | b1f3f2681b2bf35570ad11f65270777f38c55f7e (diff) |
CTAN sync 202203090301
Diffstat (limited to 'systems/doc')
-rw-r--r-- | systems/doc/hitex/hiformat.hnt | bin | 1113686 -> 1114325 bytes | |||
-rw-r--r-- | systems/doc/hitex/hiformat.pdf | bin | 1255342 -> 1255399 bytes | |||
-rw-r--r-- | systems/doc/hitex/hitexman.hnt | bin | 541091 -> 541228 bytes | |||
-rw-r--r-- | systems/doc/hitex/hitexman.pdf | bin | 233835 -> 234052 bytes | |||
-rw-r--r-- | systems/doc/hitex/hitexman.tex | 4 |
5 files changed, 2 insertions, 2 deletions
diff --git a/systems/doc/hitex/hiformat.hnt b/systems/doc/hitex/hiformat.hnt Binary files differindex a3b0daedb8..5e37fa7567 100644 --- a/systems/doc/hitex/hiformat.hnt +++ b/systems/doc/hitex/hiformat.hnt diff --git a/systems/doc/hitex/hiformat.pdf b/systems/doc/hitex/hiformat.pdf Binary files differindex 5c0d3ded28..4057b5749c 100644 --- a/systems/doc/hitex/hiformat.pdf +++ b/systems/doc/hitex/hiformat.pdf diff --git a/systems/doc/hitex/hitexman.hnt b/systems/doc/hitex/hitexman.hnt Binary files differindex e4482b9a0a..ac7d0cc356 100644 --- a/systems/doc/hitex/hitexman.hnt +++ b/systems/doc/hitex/hitexman.hnt diff --git a/systems/doc/hitex/hitexman.pdf b/systems/doc/hitex/hitexman.pdf Binary files differindex b1dc2c941a..4cfaf2b1b2 100644 --- a/systems/doc/hitex/hitexman.pdf +++ b/systems/doc/hitex/hitexman.pdf diff --git a/systems/doc/hitex/hitexman.tex b/systems/doc/hitex/hitexman.tex index 17e5bb8932..23694eb199 100644 --- a/systems/doc/hitex/hitexman.tex +++ b/systems/doc/hitex/hitexman.tex @@ -35,9 +35,9 @@ \def\setrevision$#1: #2 ${\gdef\lastrevision{#2}} -\setrevision$Revision: 2705 $ +\setrevision$Revision: 62515 $ \def\setdate$#1(#2) ${\gdef\lastdate{#2}} -\setdate$Date: 2022-03-04 16:48:46 +0100 (Fri, 04 Mar 2022) $ +\setdate$Date: 2022-03-08 14:02:10 +0100 (Tue, 08 Mar 2022) $ \null |