Runhugs command line options

Avik avik@glue.umd.edu
Thu Sep 11 17:34:44 EDT 2003


Hi,
    I was wondering if there is a way to specify the search path with 
runhugs command line options. Is there also a documentation on runhugs 
which can serve as a user manual.
--
avik




More information about the Hugs-Users mailing list