#
# ChangeLog for examples/example_scripts/java/Makefile
#
# Generated by Trac 1.2
# Jun 30, 2024 2:31:11 PM

Mon, 19 Nov 2012 23:36:11 GMT Mei <mei@…> [ced90bc]

	1) add a single threaded java test prover script


Tue, 13 Nov 2012 06:34:56 GMT Mei <mei@…> [e3c7769]

	1) wrap up java interface with swig/jni/abac linkup
	2) java ...


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

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