![]() | Name | Last modified | Size |
---|---|---|---|
![]() | Parent Directory | - | |
![]() | SMART-WAIS/ | 1996-04-24 07:51 | - |
![]() | wais-8-b5-dri-1/ | 1996-04-24 07:51 | - |
![]() | add-dvi-to-wais | 1992-06-26 00:00 | 1.4K |
![]() | lisp-words.sorted | 1992-08-07 00:00 | 1.3K |
![]() | add-lisp-to-wais | 1992-08-19 00:00 | 2.6K |
![]() | add-ps-to-wais | 1992-08-19 00:00 | 1.3K |
![]() | ps2ascii | 1992-08-19 00:00 | 612 |
![]() | ps2ascii.pl | 1992-08-19 00:00 | 3.6K |
![]() | ps2ascii.ps | 1992-08-19 00:00 | 2.3K |
![]() | translation.pl | 1992-08-19 00:00 | 4.8K |
![]() | README | 1994-03-03 14:58 | 860 |