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