Wed, 17 Mar 2010 10:55:28 +0100 | Martin Geisler | Merge with stable | changeset | files |
Wed, 17 Mar 2010 10:51:26 +0100 | Pierre-Yves David | check-code: add a return value to checkfile function | changeset | files |
Tue, 16 Mar 2010 19:53:00 +0100 | Pierre-Yves David | code-code: Add a logfunc argument to checkfile | changeset | files |
Tue, 16 Mar 2010 19:52:58 +0100 | Pierre-Yves David | check-code: Add a ``maxerr`` argument to the ``checkfile`` function | changeset | files |
Tue, 16 Mar 2010 19:52:57 +0100 | Pierre-Yves David | check-code: Add a ``checkfile`` function | changeset | files |
Tue, 16 Mar 2010 19:52:56 +0100 | Pierre-Yves David | check-code: Only call check-code if __name__ = "__main__". | changeset | files |
Tue, 16 Mar 2010 19:52:55 +0100 | Pierre-Yves David | add a small test for contrib/check-code.py | changeset | files |