cvs commit: hugs98/src opts.c hugs98/docs hugs.1.in hugs98/docs/users_guide running.sgml

16 Jul 2003


      ross        2003/07/16 09:22:06 PDT

  Modified files:
    src                  opts.c 
    docs                 hugs.1.in 
    docs/users_guide     running.sgml 
  Log:
  reverse the defaults for the q and w options, to make quietness the
  default.  Now that Hugs uses the hierarchical libraries, they can produce
  quite a lot of output.  In particular the Hugs banner is often lost.
  
  Revision  Changes    Path
  1.8       +2 -2      hugs98/src/opts.c
  1.17      +2 -2      hugs98/docs/hugs.1.in
  1.13      +2 -2      hugs98/docs/users_guide/running.sgml

cvs commit: hugs98/src opts.c hugs98/docs hugs.1.in hugs98/docs/users_guide running.sgml

ross＠glass.cse.ogi.edu