diff options
Diffstat (limited to 'systems/knuth/dist/mf/trapin.log')
-rw-r--r-- | systems/knuth/dist/mf/trapin.log | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/systems/knuth/dist/mf/trapin.log b/systems/knuth/dist/mf/trapin.log index 2fbafd0e6b..c07ae62774 100644 --- a/systems/knuth/dist/mf/trapin.log +++ b/systems/knuth/dist/mf/trapin.log @@ -1,4 +1,4 @@ -This is METAFONT, Version 2.7182818 (INIMF) 7 JAN 2014 17:51 +This is METAFONT, Version 2.71828182 (INIMF) 4 JUL 1776 12:00 **\input trap (trap.mf >> << == >> ::: ||`` ''--!! ??## && @@ $$[[]]{{ }}((5.5 0.5)) @@ -147,7 +147,7 @@ put one in, behind the scenes; this may fix the problem. {for} {showstats} Memory usage 291&41 (1922 still untouched) -String usage 26&83 (891&11438 still untouched) +String usage 26&83 (892&11481 still untouched) ! OK. l.17 ...ing:fi endfor showstats; let!!=skipto; @@ -173,7 +173,7 @@ Path at line 18, after choices: {elseif} ) Beginning to dump on file trap.base - (preloaded base=trap 2014.1.7) -1117 strings of total length 20614 + (preloaded base=trap 1776.7.4) +1116 strings of total length 20570 395 memory locations dumped; current usage is 317&67 265 symbolic tokens |