![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Credits | 15-Jan-2010 11:50 | 752 | |
| Makefile | 15-Jan-2010 11:50 | 228 | |
| Makefile.in | 15-Jan-2010 11:50 | 1.4K | |
| building/ | 15-Jan-2010 11:50 | - | |
| editor-notes.txt | 15-Jan-2010 11:50 | 3.3K | |
| ffi-notes.txt | 15-Jan-2010 11:50 | 5.3K | |
| hugs-package.1 | 15-Jan-2010 11:50 | 3.1K | |
| hugs.1 | 15-Jan-2010 11:50 | 5.0K | |
| hugs.1.in | 15-Jan-2010 11:50 | 9.7K | |
| hugs.man | 15-Jan-2010 11:50 | 8.1K | |
| libraries-notes.txt | 15-Jan-2010 11:50 | 3.4K | |
| machugs-notes.txt | 15-Jan-2010 11:50 | 590 | |
| mdo-notes.txt | 15-Jan-2010 11:50 | 2.3K | |
| observe-notes.txt | 15-Jan-2010 11:50 | 9.6K | |
| options.txt | 15-Jan-2010 11:50 | 5.8K | |
| packages.txt | 15-Jan-2010 11:50 | 3.1K | |
| server.html | 15-Jan-2010 11:50 | 32K | |
| server.tex | 15-Jan-2010 11:50 | 23K | |
| users-guide-windows.bat | 15-Jan-2010 11:50 | 1.5K | |
| users_guide/ | 15-Jan-2010 11:50 | - | |
| win32-notes.txt | 15-Jan-2010 11:50 | 1.9K | |
| windows-notes.txt | 15-Jan-2010 11:50 | 10K | |
| winhugs-notes.txt | 15-Jan-2010 11:50 | 357 | |
| zipcomp-notes.txt | 15-Jan-2010 11:50 | 1.2K | |