#
# ChangeLog for examples/creddy_prover_tests/Makefile
#
# Generated by Trac 1.2
# May 20, 2024 6:58:41 AM

Thu, 04 Apr 2013 07:07:42 GMT Mei <mei@…> [2e9455f]

	1) added namespace
	2) tweak ?This,
	3) allowing linking role/oset as ...


Tue, 18 Sep 2012 18:52:30 GMT Mei <mei@…> [abf8d5d]

	1) add backtrack/multiple solutions proof code changes and new
	 examples.


Tue, 04 Sep 2012 22:04:03 GMT Mei <mei@…> [94a4dd2]

	1) save a set of performance jpegs into ...


Wed, 29 Aug 2012 00:06:15 GMT Mei <mei@…> [2b4e740]

	1) test out the performance plotting build


Tue, 28 Aug 2012 00:12:11 GMT Mei <mei@…> [08b8da7]

	1) rework examples directory with Makefile
	2) update scaling with ...