diff options
Diffstat (limited to 'systems/doc/hitex')
| -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 |