#
# ChangeLog for doc/java_install
#
# Generated by Trac 1.2
# Jul 7, 2024 2:05:25 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 ...


Wed, 30 Mar 2011 21:34:09 GMT Mike Ryan <mikeryan@…> [c0bdce8]

	java build instructions