diff options
Diffstat (limited to 'info/knuth-hint/texware')
-rw-r--r-- | info/knuth-hint/texware/dvitype-changes.hnt | bin | 0 -> 429446 bytes |
-rw-r--r-- | info/knuth-hint/texware/dvitype.hnt | bin | 0 -> 590841 bytes |
-rw-r--r-- | info/knuth-hint/texware/pltotf-changes.hnt | bin | 0 -> 386844 bytes |
-rw-r--r-- | info/knuth-hint/texware/pltotf.hnt | bin | 0 -> 561919 bytes |
-rw-r--r-- | info/knuth-hint/texware/pooltype-changes.hnt | bin | 0 -> 400725 bytes |
-rw-r--r-- | info/knuth-hint/texware/pooltype.hnt | bin | 0 -> 403293 bytes |
-rw-r--r-- | info/knuth-hint/texware/tftopl-changes.hnt | bin | 0 -> 385445 bytes |
-rw-r--r-- | info/knuth-hint/texware/tftopl.hnt | bin | 0 -> 487948 bytes |
8 files changed, 0 insertions, 0 deletions
diff --git a/info/knuth-hint/texware/dvitype-changes.hnt b/info/knuth-hint/texware/dvitype-changes.hnt Binary files differnew file mode 100644 index 0000000000..2e9d985563 --- /dev/null +++ b/info/knuth-hint/texware/dvitype-changes.hnt diff --git a/info/knuth-hint/texware/dvitype.hnt b/info/knuth-hint/texware/dvitype.hnt Binary files differnew file mode 100644 index 0000000000..06d44e147c --- /dev/null +++ b/info/knuth-hint/texware/dvitype.hnt diff --git a/info/knuth-hint/texware/pltotf-changes.hnt b/info/knuth-hint/texware/pltotf-changes.hnt Binary files differnew file mode 100644 index 0000000000..2b723543e6 --- /dev/null +++ b/info/knuth-hint/texware/pltotf-changes.hnt diff --git a/info/knuth-hint/texware/pltotf.hnt b/info/knuth-hint/texware/pltotf.hnt Binary files differnew file mode 100644 index 0000000000..bf1465e25d --- /dev/null +++ b/info/knuth-hint/texware/pltotf.hnt diff --git a/info/knuth-hint/texware/pooltype-changes.hnt b/info/knuth-hint/texware/pooltype-changes.hnt Binary files differnew file mode 100644 index 0000000000..b1e25ffb1f --- /dev/null +++ b/info/knuth-hint/texware/pooltype-changes.hnt diff --git a/info/knuth-hint/texware/pooltype.hnt b/info/knuth-hint/texware/pooltype.hnt Binary files differnew file mode 100644 index 0000000000..de911de227 --- /dev/null +++ b/info/knuth-hint/texware/pooltype.hnt diff --git a/info/knuth-hint/texware/tftopl-changes.hnt b/info/knuth-hint/texware/tftopl-changes.hnt Binary files differnew file mode 100644 index 0000000000..11f471769c --- /dev/null +++ b/info/knuth-hint/texware/tftopl-changes.hnt diff --git a/info/knuth-hint/texware/tftopl.hnt b/info/knuth-hint/texware/tftopl.hnt Binary files differnew file mode 100644 index 0000000000..dbd7d02dcf --- /dev/null +++ b/info/knuth-hint/texware/tftopl.hnt |