diff options
Diffstat (limited to 'info/knuth-hint/tex')
-rw-r--r-- | info/knuth-hint/tex/glue.hnt | bin | 437655 -> 437653 bytes |
-rw-r--r-- | info/knuth-hint/tex/tex-changes.hnt | bin | 1028614 -> 1029743 bytes |
-rw-r--r-- | info/knuth-hint/tex/tex.hnt | bin | 1625083 -> 1625074 bytes |
-rw-r--r-- | info/knuth-hint/tex/tripman.hnt | bin | 450716 -> 450713 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/info/knuth-hint/tex/glue.hnt b/info/knuth-hint/tex/glue.hnt Binary files differindex 79b62fc2b7..7b1a87f185 100644 --- a/info/knuth-hint/tex/glue.hnt +++ b/info/knuth-hint/tex/glue.hnt diff --git a/info/knuth-hint/tex/tex-changes.hnt b/info/knuth-hint/tex/tex-changes.hnt Binary files differindex 14c5b76456..4192d154c7 100644 --- a/info/knuth-hint/tex/tex-changes.hnt +++ b/info/knuth-hint/tex/tex-changes.hnt diff --git a/info/knuth-hint/tex/tex.hnt b/info/knuth-hint/tex/tex.hnt Binary files differindex f95932650d..b3f89d8de4 100644 --- a/info/knuth-hint/tex/tex.hnt +++ b/info/knuth-hint/tex/tex.hnt diff --git a/info/knuth-hint/tex/tripman.hnt b/info/knuth-hint/tex/tripman.hnt Binary files differindex 45a15b2435..c8bf5c45b2 100644 --- a/info/knuth-hint/tex/tripman.hnt +++ b/info/knuth-hint/tex/tripman.hnt |