2007-04-22  Ben Pfaff  <blp@gnu.org>

	Implement model checker for testing purposes.
	
	Patch #5873.
	
	* automake.mk: Add check-model.[ch].

	* check-model.h: New file.

	* check-model.q: New file.

Thu Oct 26 20:19:19 2006  Ben Pfaff  <blp@gnu.org>

	* automake.mk: Add float-format.c.

	* float-format.c: New file.

Sat Oct 14 16:21:45 2006  Ben Pfaff  <blp@gnu.org>

	* casefile-test.c: (test_casereader_clone) Free cases that we
	read, to avoid memory leak.

Tue Jun  6 18:48:00 2006  Ben Pfaff  <blp@gnu.org>

	* casefile-test.c: (test_casefile) Test the new casereader_seek()
	function.

Thu Mar  2 08:40:33 WST 2006 John Darrington <john@darrington.wattle.id.au>
	
	* Moved files from src directory