diff options
Diffstat (limited to 'info/knuth-hint/tex')
| -rw-r--r-- | info/knuth-hint/tex/glue.hnt | bin | 437653 -> 437662 bytes |
| -rw-r--r-- | info/knuth-hint/tex/tex-changes.hnt | bin | 1029743 -> 1061983 bytes |
| -rw-r--r-- | info/knuth-hint/tex/tex.hnt | bin | 1625074 -> 1625073 bytes |
| -rw-r--r-- | info/knuth-hint/tex/tripman.hnt | bin | 450713 -> 450717 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 7b1a87f185..7d11599b64 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 4192d154c7..fb47d0ed42 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 b3f89d8de4..76e090eadf 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 c8bf5c45b2..e6bf47fd73 100644 --- a/info/knuth-hint/tex/tripman.hnt +++ b/info/knuth-hint/tex/tripman.hnt |