summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/hitex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/hitex')
-rw-r--r--Master/texmf-dist/doc/hitex/base/hiformat.hntbin1113686 -> 1114325 bytes
-rw-r--r--Master/texmf-dist/doc/hitex/base/hiformat.pdfbin1255342 -> 1255399 bytes
-rw-r--r--Master/texmf-dist/doc/hitex/base/hitexman.hntbin541091 -> 541228 bytes
-rw-r--r--Master/texmf-dist/doc/hitex/base/hitexman.pdfbin233835 -> 234052 bytes
-rw-r--r--Master/texmf-dist/doc/hitex/base/hitexman.tex4
5 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/hitex/base/hiformat.hnt b/Master/texmf-dist/doc/hitex/base/hiformat.hnt
index a3b0daedb8d..5e37fa75670 100644
--- a/Master/texmf-dist/doc/hitex/base/hiformat.hnt
+++ b/Master/texmf-dist/doc/hitex/base/hiformat.hnt
Binary files differ
diff --git a/Master/texmf-dist/doc/hitex/base/hiformat.pdf b/Master/texmf-dist/doc/hitex/base/hiformat.pdf
index 5c0d3ded288..4057b5749c3 100644
--- a/Master/texmf-dist/doc/hitex/base/hiformat.pdf
+++ b/Master/texmf-dist/doc/hitex/base/hiformat.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/hitex/base/hitexman.hnt b/Master/texmf-dist/doc/hitex/base/hitexman.hnt
index e4482b9a0ab..ac7d0cc3562 100644
--- a/Master/texmf-dist/doc/hitex/base/hitexman.hnt
+++ b/Master/texmf-dist/doc/hitex/base/hitexman.hnt
Binary files differ
diff --git a/Master/texmf-dist/doc/hitex/base/hitexman.pdf b/Master/texmf-dist/doc/hitex/base/hitexman.pdf
index b1dc2c941a7..4cfaf2b1b24 100644
--- a/Master/texmf-dist/doc/hitex/base/hitexman.pdf
+++ b/Master/texmf-dist/doc/hitex/base/hitexman.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/hitex/base/hitexman.tex b/Master/texmf-dist/doc/hitex/base/hitexman.tex
index 17e5bb89325..23694eb1990 100644
--- a/Master/texmf-dist/doc/hitex/base/hitexman.tex
+++ b/Master/texmf-dist/doc/hitex/base/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