![[ICO]](/icons/blank.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| count.hlp | 1988-04-14 23:01 | 1.8K | |
| count.pl | 1988-04-14 23:02 | 1.9K | |
| depth.pl | 1988-04-14 23:09 | 2.2K | |
| ixref.def | 1988-04-14 23:43 | 9.5K | |
| ixref.hlp | 1988-04-14 23:46 | 1.8K | |
| ixref.pl | 1988-04-14 23:46 | 12K | |
| pp.hlp | 1988-04-15 00:30 | 6.7K | |
| pp.pl | 1988-08-11 00:17 | 17K | |
| prolog.typ | 1988-04-15 00:43 | 5.8K | |
| termin.pl | 1988-04-15 01:08 | 3.2K | |
| typecheck.pl | 1988-04-15 01:20 | 13K | |
| vcheck.hlp | 1988-04-15 01:33 | 806 | |
| vcheck.pl | 1988-04-15 01:34 | 2.1K | |
| xref.def | 1988-04-15 01:44 | 2.8K | |
| xref.hlp | 1988-04-15 01:45 | 9.9K | |
| xref.pl | 1988-04-15 01:47 | 93 | |
| xrf.pl | 1988-04-15 01:47 | 5.9K | |
| xrfcol.pl | 1988-04-15 01:49 | 3.5K | |
| xrfdef.pl | 1988-04-15 01:50 | 4.6K | |
| xrfmod.pl | 1988-04-15 01:51 | 5.6K | |
| xrfout.pl | 1988-04-15 01:52 | 6.2K | |
| xrftst.bar | 1988-04-15 01:54 | 47 | |
| xrftst.foo | 1988-04-15 01:54 | 135 | |
| xrftty.pl | 1988-04-15 01:54 | 4.0K | |