Name                    Last modified       Size  Description

 Parent Directory        29-Nov-2002 19:09      -  
 lptops.c                02-Oct-1990 00:00    47k  
 texidx.c                02-Oct-1990 00:00    42k  
 wsltex.c                02-Oct-1990 00:00    23k  
 lw78.c                  02-Oct-1990 00:00    21k  
 wsltex.pas              02-Oct-1990 00:00    12k  
 lptops.1l               02-Oct-1990 00:00     8k  
 texidx.hlp              02-Oct-1990 00:00     7k  
 lptops.hlp              02-Oct-1990 00:00     6k  
 xxu.c                   02-Oct-1990 00:00     5k  
 lpt.ps                  02-Oct-1990 00:00     5k  
 wsltex.let              02-Oct-1990 00:00     3k  
 xref3.awk               02-Oct-1990 00:00     2k  
 hd.c                    02-Oct-1990 00:00     2k  
 xref2.awk               02-Oct-1990 00:00     2k  
 xref1.awk               02-Oct-1990 00:00     1k  
 unhd.c                  02-Oct-1990 00:00     1k  
 ws87.pas                02-Oct-1990 00:00     1k  
 xref                    02-Oct-1990 00:00     1k  
 vms/                    29-Nov-2002 19:11      -