Filename Modification time Size Jmakefile 1993-06-27 02:00 CEST 3999 B MAIL.ireland 1991-08-22 02:00 CEST 2747 B Makefile.BOOT 1992-08-27 02:00 CEST 1671 B PATCHLEVEL 1993-07-13 02:00 CEST 64 B PROJECTS 1991-04-16 02:00 CEST 1673 B README 1993-07-15 02:00 CEST 1478 B TeX-Mathematica-note 1991-04-27 02:00 CEST 1394 B a-cpp-ish-thing-from-the-net 1991-05-03 02:00 CEST 7871 B code-bug.tex 1991-08-22 02:00 CEST 836 B furuta_ref 1991-08-10 02:00 CEST 1025 B leathrum_on_pgm_typesetting.tex 1990-05-19 02:00 CEST 2375 B lit-2changes.lprl 1990-09-13 02:00 CEST 125 B lit-2depend.lprl 1990-09-24 02:00 CEST 1798 B lit-2doc-c.lprl 1992-03-03 01:00 CET 3747 B lit-2doc-f.lprl 1992-09-08 02:00 CEST 4748 B lit-2doc-hs.lprl 1991-05-08 02:00 CEST 8893 B lit-2doc-jm.lprl 1992-07-10 02:00 CEST 1777 B lit-2doc-lex.lprl 1990-11-19 01:00 CET 621 B lit-2doc-none.lprl 1990-11-19 01:00 CET 457 B lit-2doc-prl.lprl 1992-03-03 01:00 CET 3086 B lit-2doc.lprl 1992-09-09 02:00 CEST 11 KiB lit-2latex-c.lprl 1990-11-19 01:00 CET 407 B lit-2latex-f.lprl 1992-08-27 02:00 CEST 420 B lit-2latex-hs.lprl 1990-11-14 01:00 CET 410 B lit-2latex-jm.lprl 1992-03-02 01:00 CET 449 B lit-2latex-lex.lprl 1990-11-19 01:00 CET 445 B lit-2latex-none.lprl 1990-11-19 01:00 CET 452 B lit-2latex-prl.lprl 1990-11-19 01:00 CET 414 B lit-2latex.lprl 1992-08-27 02:00 CEST 8881 B lit-2pgm-c.lprl 1990-09-13 02:00 CEST 221 B lit-2pgm-f.lprl 1992-08-27 02:00 CEST 227 B lit-2pgm-hs.lprl 1990-09-13 02:00 CEST 230 B lit-2pgm-jm.lprl 1992-03-02 01:00 CET 223 B lit-2pgm-lex.lprl 1990-09-13 02:00 CEST 208 B lit-2pgm-none.lprl 1990-09-13 02:00 CEST 210 B lit-2pgm-prl.lprl 1990-09-13 02:00 CEST 240 B lit-2pgm.lprl 1990-10-10 01:00 CET 1394 B lit-2texi-c.lprl 1990-09-13 02:00 CEST 118 B lit-2texi-f.lprl 1992-08-27 02:00 CEST 124 B lit-2texi-hs.lprl 1990-09-13 02:00 CEST 120 B lit-2texi-jm.lprl 1992-03-02 01:00 CET 120 B lit-2texi-lex.lprl 1990-09-13 02:00 CEST 122 B lit-2texi-none.lprl 1990-09-13 02:00 CEST 124 B lit-2texi-prl.lprl 1990-09-13 02:00 CEST 122 B lit-2texi.lprl 1993-01-14 01:00 CET 12 KiB lit-2text.lprl 1990-12-05 01:00 CET 640 B lit-deatify.c 1992-09-07 02:00 CEST 61 KiB lit-deatify.lex 1992-08-27 02:00 CEST 20 KiB lit-deatify.llex 1992-08-27 02:00 CEST 19 KiB lit-globals.lprl 1991-08-22 02:00 CEST 12 KiB lit-inputter.lprl 1992-08-27 02:00 CEST 3598 B lit-inputter.prl 1992-09-22 02:00 CEST 3357 B lit-link-globals.lprl 1990-09-13 02:00 CEST 284 B lit-linker.lprl 1992-08-27 02:00 CEST 16 KiB lit-reader.lprl 1992-08-27 02:00 CEST 19 KiB lit-style.tex 1992-09-09 02:00 CEST 40 KiB lit2pgm.BOOT 1991-09-04 02:00 CEST 12 KiB lit2stuff.lprl 1993-07-15 02:00 CEST 22 KiB typesetting-code 1991-10-10 01:00 CET 45 KiB