2008-06-19 Achim D. Brucker <brucker@member.fsf.org>
	   Burkhart Wolff <bwolff@inf.ethz.ch>
	       * HOL-TestGen: minor release (version 1.4.0)
	       * ported to Isabelle 2008
	       * small benchmarking framework
	       * new domain specific test tool: HOL-TestGen/FW

2007-02-09 Achim D. Brucker <brucker@inf.ethz.ch>
	   Burkhart Wolff <bwolff@inf.ethz.ch>
	       * HOL-TestGen: minor release (version 1.3.0)
	       * new example demonstrating sequence testing
	       * new option "dataconv_code" for testgen_params

2006-10-10 Achim D. Brucker <brucker@inf.ethz.ch>
	   Burkhart Wolff <bwolff@inf.ethz.ch>
	       * HOL-TestGen:  minor release (version 1.2.0)
	       * fixed missing return type in generated test scripts 
	       * added new top-level command for storing test data:
	         export_test_data
	       * New example: firewalls, shows both, how HOL-TestGen can be 
	                      used for sequence generation and how HOL-TestGen
			      can be adopted to special domains.
			      
2005-12-12 Achim D. Brucker <brucker@inf.ethz.ch>
	   Burkhart Wolff <bwolff@inf.ethz.ch>
	       * HOL-TestGen: bug fix release (version 1.1.1)
	       * fixed several minor bugs in the documentation. 
	       * explained installation using Debian packages. 

2005-10-11 Achim D. Brucker <brucker@inf.ethz.ch>
	   Burkhart Wolff <bwolff@inf.ethz.ch>
	       * HOL-TestGen: new HOL-TestGen release (version 1.1)
	       * Ported to Isabelle 2005

2005-03-19 Achim D. Brucker <brucker@inf.ethz.ch>
	   Burkhart Wolff <bwolff@inf.ethz.ch>
	       * HOL-TestGen: bug fix release (version 1.0.1)
	       * Fixed bug that that prevents gen_test_cases for 
	         specifications like 
		 test_spec "(is_sorted2(insertion_sort (l:: 'a list)))"
	       * List example: overall improvements.
	       * New example: IMP, shows white box testing

2005-03-07 Achim D. Brucker <brucker@inf.ethz.ch>
	   Burkhart Wolff <bwolff@inf.ethz.ch>
		* HOL-TestGen: first public release (version 1.0.0)