Index: docs/users_guide/using_hugs.xml =================================================================== RCS file: /home/cvs/root/hugs98/docs/users_guide/using_hugs.xml,v retrieving revision 1.12 diff -u -r1.12 using_hugs.xml --- docs/users_guide/using_hugs.xml 31 Aug 2005 13:59:51 -0000 1.12 +++ docs/users_guide/using_hugs.xml 10 Jan 2006 23:51:22 -0000 @@ -172,6 +172,22 @@ + + + +:main argument + + + + + +Run the main function, with the getArgs function +returning the values specified for the arguments. +This command is useful for testing console based programs from Hugs. + + + +