summaryrefslogtreecommitdiff
path: root/systems/doc/hitex
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-03-09 03:01:03 +0000
committerNorbert Preining <norbert@preining.info>2022-03-09 03:01:03 +0000
commitb23d702a4a177c6d047cd03020e5a0fb7effd88a (patch)
tree60f860c1b86caf0fa6637b79a3490f642b57c761 /systems/doc/hitex
parentb1f3f2681b2bf35570ad11f65270777f38c55f7e (diff)
CTAN sync 202203090301
Diffstat (limited to 'systems/doc/hitex')
-rw-r--r--systems/doc/hitex/hiformat.hntbin1113686 -> 1114325 bytes
-rw-r--r--systems/doc/hitex/hiformat.pdfbin1255342 -> 1255399 bytes
-rw-r--r--systems/doc/hitex/hitexman.hntbin541091 -> 541228 bytes
-rw-r--r--systems/doc/hitex/hitexman.pdfbin233835 -> 234052 bytes
-rw-r--r--systems/doc/hitex/hitexman.tex4
5 files changed, 2 insertions, 2 deletions
diff --git a/systems/doc/hitex/hiformat.hnt b/systems/doc/hitex/hiformat.hnt
index a3b0daedb8..5e37fa7567 100644
--- a/systems/doc/hitex/hiformat.hnt
+++ b/systems/doc/hitex/hiformat.hnt
Binary files differ
diff --git a/systems/doc/hitex/hiformat.pdf b/systems/doc/hitex/hiformat.pdf
index 5c0d3ded28..4057b5749c 100644
--- a/systems/doc/hitex/hiformat.pdf
+++ b/systems/doc/hitex/hiformat.pdf
Binary files differ
diff --git a/systems/doc/hitex/hitexman.hnt b/systems/doc/hitex/hitexman.hnt
index e4482b9a0a..ac7d0cc356 100644
--- a/systems/doc/hitex/hitexman.hnt
+++ b/systems/doc/hitex/hitexman.hnt
Binary files differ
diff --git a/systems/doc/hitex/hitexman.pdf b/systems/doc/hitex/hitexman.pdf
index b1dc2c941a..4cfaf2b1b2 100644
--- a/systems/doc/hitex/hitexman.pdf
+++ b/systems/doc/hitex/hitexman.pdf
Binary files differ
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