cvs commit: hugs98/tests testScript.in hugs98/tests/static mod75.output

Alastair Reid reid@glass.cse.ogi.edu
Sun, 22 Apr 2001 14:22:53 -0700


reid        2001/04/22 14:22:53 PDT

  Modified files:
    tests                testScript.in 
    tests/static         mod75.output 
  Log:
  Closing out this alleged error.
  Sigbjorn persuaded me that Hugs is consistent with the report.
  
  (I had checked the first bullet of section 5.5.1 of the report but had
  been distracted by the 2nd half of the bullet.)
  
  Revision  Changes    Path
  1.3       +1 -1      hugs98/tests/testScript.in
  1.2       +0 -1      hugs98/tests/static/mod75.output