Wed, 03 Dec 1997 17:31:25 +0100 | nipkow | n ~= 0 should become 0 < n | changeset | files |
Wed, 03 Dec 1997 17:25:43 +0100 | nipkow | Replaced n ~= 0 by 0 < n | changeset | files |
Wed, 03 Dec 1997 12:55:04 +0100 | wenzelm | pass return code!! | changeset | files |