Index of /hugs98

 Name                    Last modified       Size  Description

 Parent Directory        09-Jan-2008 14:38      -  
 zipcomp-notes.txt       17-Jan-2004 18:22     1k  
 winhugs-notes.txt       17-Jan-2004 18:22     1k  
 server.tex              17-Jan-2004 18:22    23k  
 server.html.head        08-Sep-2008 00:18     1k  
 server.html.foot        25-Jul-2008 12:22     0k  
 server.html.body        25-Jul-2008 12:23    33k  
 server.html             08-Sep-2008 00:18    35k  
 options.txt             17-Jan-2004 18:22     7k  
 observe-notes.txt       17-Jan-2004 18:22    10k  
 mdo-notes.txt           17-Jan-2004 18:22     2k  
 machugs-notes.txt       17-Jan-2004 18:22     1k  
 libraries-notes.txt     17-Jan-2004 18:22     4k  
 ffi-notes.txt           17-Jan-2004 18:22     6k  
 editor-notes.txt        17-Jan-2004 18:22     3k  
 Readme                  17-Jan-2004 18:22     2k  
 License                 17-Jan-2004 18:22     2k  
 Credits                 17-Jan-2004 18:22     1k