#
# ChangeLog for examples/fruits_rt2_typed
#
# Generated by Trac 1.2
# Jul 1, 2024 3:24:07 AM

Tue, 28 Feb 2012 02:29:22 GMT Ted Faber <faber@…> [2c01913]

	Added docs


Mon, 27 Feb 2012 20:09:55 GMT Mei <mei@…> [d5bbd3e]

	1) add alumni2_rt1_typed
	   (target static range constraint)
	2) add ...


Fri, 24 Feb 2012 20:35:46 GMT Mei <mei@…> [36b100a]

	1) fix up fruits_rt2_typed example to test different types of strings ...


Fri, 24 Feb 2012 18:06:49 GMT Ted Faber <faber@…> [5aaeca3]

	Clear remaining example certs


Thu, 23 Feb 2012 21:59:31 GMT Mei <mei@…> [c586a3c]

	1) add support for float static range constraint
	2) add a testcase ...