X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Ftests%2FChangeLog;h=295c5418392699daf026e5ebb60f0fd26e263570;hb=8fa97cbb0299bddaa217bb23dcbac3e6f2503cd1;hp=45f8a5ba175fc6abedd4a0bb3f6cd6006b409e3a;hpb=5060fdedfe17e843301ac0c738e12488af467378;p=pspp-builds.git diff --git a/src/language/tests/ChangeLog b/src/language/tests/ChangeLog index 45f8a5ba..295c5418 100644 --- a/src/language/tests/ChangeLog +++ b/src/language/tests/ChangeLog @@ -1,3 +1,9 @@ +2007-06-06 Ben Pfaff + + * automake.mk: Add new file. + + * datasheet-test.c: New file. + 2007-04-22 Ben Pfaff Implement model checker for testing purposes.