#
# ChangeLog for examples/example_scripts/java/run_prover
#
# Generated by Trac 1.2
# Jul 4, 2024 2:14:33 PM

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

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


Fri, 02 Nov 2012 20:43:27 GMT Mei <mei@…> [97a6a36]

	1) added java to libabac using swig
	2) added java examples ...