r--r--r-- 601/48  34315 Nov 16 17:12 1989 box-defs.lisp
r--r--r-- 601/48   6929 Feb 12 16:00 1990 dist-ess.lisp
rw-rw-r-- 174/48  28661 Oct  8 10:45 1989 doc/elpbib.ps
rw-r--r-- 174/48  37905 Oct  8 12:30 1989 doc/penn-trs.txt
rw-rw-r-- 174/48    524 Sep 21 14:57 1989 gnu/emacs.el
rw-rw-r-- 174/48   5848 Sep 21 10:04 1989 gnu/funkeys.el
rw-rw-r-- 174/48  14837 Sep 21 12:44 1989 gnu/shell-adds.el
rw-rw-r-- 174/48    767 Sep 21 12:28 1989 gnu/sticky-filter.el
r--r--r-- 2672/48   1872 Oct 12 01:20 1989 init-load.lisp
r--r--r-- 2036/48  10666 Sep 28 16:25 1989 lang/ab-term/rel/af-runtime.lisp
r--r--r-- 601/48  31228 Nov 15 19:49 1989 lang/sb-term/rel/rt-format.lisp
r--r--r-- 601/48  13131 Sep 21 17:58 1989 lang/sb-term/rel/rt-lex.lisp
r--r--r-- 601/48   8311 Nov  3 14:11 1989 lang/sb-term/rel/rt-parse-mac.lisp
r--r--r-- 601/48   3995 Sep 21 17:58 1989 lang/sb-term/rel/rt-parse.lisp
r--r--r-- 601/48  10430 Sep 27 00:39 1989 lang/sb-term/rel/rt-structs.lisp
r--r--r-- 601/48   2367 Sep 21 17:58 1989 lang/sb-term/rel/rt-term.lisp
r--r--r-- 601/48   3081 Sep 22 01:41 1989 lang/sb-term/rel/rt-unp-attr.lisp
r--r--r-- 601/48   5256 Nov  3 14:11 1989 lang/sb-term/rel/rt-unp-structs.lisp
r--r--r-- 601/48   5546 Sep 21 18:25 1989 lang/sb-term/rel/rt-unp-tex.lisp
r--r--r-- 601/48   8896 Oct  2 14:29 1989 lang/sb-term/rel/rt-unp-top.lisp
r--r--r-- 601/48  23434 Oct  2 18:16 1989 lang/sb-term/rel/rt-unparse.lisp
r--r--r-- 601/48   1141 Sep 21 17:59 1989 lang/sb-term/rel/sbrt-lang-def.lisp
r--r--r-- 601/48    441 Sep 21 17:59 1989 lang/sb-term/rel/sbrt-sorting.lisp
r--r--r-- 1375/48   2913 Nov 11 09:53 1988 sys/constr/rel/constr-gr.txt
rw-rw-r-- 174/48   3924 Sep 27 11:38 1989 sys/constr/rel/constr-lexer.lisp
rw-rw-r-- 174/48  38301 Sep 27 11:38 1989 sys/constr/rel/constr-parser.lisp
rw-rw-r-- 174/48   4730 Sep 27 11:38 1989 sys/constr/rel/constr-sorts.lisp
r--r--r-- 174/48   4276 Sep 25 09:51 1989 sys/constr/rel/constr-term-rep.lisp
r--r--r-- 174/48   5588 Sep 25 09:51 1989 sys/constr/rel/constr.lisp
r--r--r-- 174/48    952 Sep 25 09:51 1989 sys/constr/rel/defsconstr.lisp
r--r--r-- 174/48   1550 Sep 23 12:45 1989 sys/ergolisp/rel/dlambda-lib.lisp
r--r--r-- 174/48  15388 Sep 23 12:45 1989 sys/ergolisp/rel/dlambda.lisp
r--r--r-- 174/48   3837 Sep 26 16:54 1989 sys/ergolisp/rel/ergo-system.lisp
r--r--r-- 174/48   2647 Sep 23 12:45 1989 sys/ergolisp/rel/ergo-types.lisp
r--r--r-- 601/48   1841 Sep 26 12:48 1989 sys/ergolisp/rel/ergolisp-exports.lisp
r--r--r-- 174/48   1658 Sep 23 12:45 1989 sys/ergolisp/rel/ergolisp.lisp
r--r--r-- 174/48   2811 Sep 23 12:45 1989 sys/ergolisp/rel/tdefun.lisp
r--r--r-- 174/48   9133 Sep 23 12:45 1989 sys/ergolisp/rel/type-check.lisp
r--r--r-- 174/48   5151 Oct 10 09:27 1989 sys/tools/rel/box-lib.lisp
r--r--r-- 2672/48  14128 Oct 11 01:15 1989 sys/tools/rel/box-system.lisp
r--r--r-- 174/48  66345 Oct 31 16:06 1989 sys/tools/rel/box.lisp
r--r--r-- 174/48   5466 Sep 26 09:30 1989 sys/tools/rel/clet.lisp
r--r--r-- 174/48   1270 Jan  2 11:43 1989 sys/tools/rel/print-utils.lisp
r--r--r-- 2672/48   5085 Jun 11 02:01 1988 sys/tools/rel/regression-test.lisp
r--r--r-- 174/48   2471 Sep 26 09:30 1989 sys/tools/rel/retry.lisp
r--r--r-- 601/48   3943 Sep 21 17:43 1989 term/attr/rel/attr-global.lisp
r--r--r-- 601/48   1857 Sep 21 17:43 1989 term/attr/rel/attr-gsort.lisp
r--r--r-- 601/48   2688 Sep 21 17:43 1989 term/attr/rel/attr-lang-lib.lisp
r--r--r-- 601/48   5679 Sep 21 17:43 1989 term/attr/rel/attr-lang.lisp
r--r--r-- 174/48   3350 Dec 18 20:44 1989 term/attr/rel/attr-lib.lisp
r--r--r-- 601/48   3434 Sep 21 17:43 1989 term/attr/rel/attr-occ.lisp
r--r--r-- 601/48  18190 Sep 21 17:43 1989 term/attr/rel/attr-sort.lisp
r--r--r-- 601/48  32820 Oct  2 00:45 1989 term/language/rel/languages.lisp
r--r--r-- 601/48   7858 Sep 21 17:05 1989 term/terms/rel/occur.lisp
r--r--r-- 601/48   7499 Sep 21 17:05 1989 term/terms/rel/opers.lisp
r--r--r-- 601/48  20333 Sep 21 17:05 1989 term/terms/rel/sorts.lisp
r--r--r-- 601/48   6063 Sep 21 17:05 1989 term/terms/rel/termop.lisp
r--r--r-- 601/48   8096 Sep 21 17:05 1989 term/terms/rel/terms.lisp
r--r--r-- 601/48   1941 Sep 21 17:19 1989 term/trep/rel/attr-prims.lisp
r--r--r-- 174/48  15333 Sep 26 12:49 1989 term/trep/rel/gterm.lisp
r--r--r-- 174/48   6040 Oct 15 21:45 1989 INSTALL
rw-r--r-- 174/48   4965 Oct  2 12:53 1989 LICENSE
r--r--r-- 601/48   5000 Feb 12 16:01 1990 README
r-xr-xr-x 2672/48    715 Oct  6 06:01 1989 bin/relocate
rw-rw-r-- 174/48    361 Oct  8 10:49 1989 doc/README
rw-rw-r-- 174/48    716 Sep 21 14:57 1989 gnu/README
rw-rw-r-- 601/48   1168 Oct  2 01:14 1989 lang/sb-term/README
rw-rw-r-- 1375/48  10473 Jun 30 16:39 1988 sys/constr/doc/constructure.doc
rw-rw-r-- 174/48    154 Sep 23 12:54 1989 sys/ergolisp/README
rw-rw-r-- 1375/48   8019 Dec  7 16:46 1987 sys/ergolisp/doc/dlambda.doc
rw-rw-r-- 1375/48   4962 Jul 31 15:23 1987 sys/ergolisp/doc/type-check.doc
r--r--r-- 601/48   3025 Jul 12 15:16 1987 term/language/rel/languages-doc.txt
r--r--r-- 601/48   1592 Jul  9 14:23 1987 term/terms/rel/occ-doc.txt
r--r--r-- 601/48   3149 Jul  9 14:16 1987 term/terms/rel/oper-doc.txt
r--r--r-- 601/48   6050 Jul 16 21:00 1987 term/terms/rel/sort-doc.txt
r--r--r-- 601/48   3728 Jul 15 17:36 1987 term/terms/rel/term-doc.txt
r--r--r-- 601/48   2299 Jul  9 15:25 1987 term/terms/rel/termop-doc.txt
r--r--r-- 2672/48   7109 Mar 14 01:39 1988 term/trep/doc/gterm-doc.txt