X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Ftests%2FChangeLog;h=295c5418392699daf026e5ebb60f0fd26e263570;hb=8dd70ac126138cbe0a2520d2698dab715c94a598;hp=45f8a5ba175fc6abedd4a0bb3f6cd6006b409e3a;hpb=5060fdedfe17e843301ac0c738e12488af467378;p=pspp diff --git a/src/language/tests/ChangeLog b/src/language/tests/ChangeLog index 45f8a5ba17..295c541839 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.