pathappend PATH /pro/dpg/dmcc/bin/
If you want to use the Python interface to create or analyze Hogwash sessions in Python, you need to add two directories to your Python path.
pathappend PYTHONPATH /pro/dpg/dmcc/python/:/pro/dpg/contrib/python/
If you want to work on Hogwash, it lives in a darcs repository. A darcs binary is in /pro/dpg/dmcc/bin, so just add that path and you're ready to do:
darcs get --set-scripts-executable /pro/dpg/dmcc/darcs/Hogwash
and
darcs get --set-scripts-executable /pro/dpg/dmcc/darcs/waterworks