#
# ChangeLog for examples/example_scripts/java/run_prover
#
# Generated by Trac 1.2
# Jul 7, 2024 8:19:40 AM

Tue, 12 Mar 2013 22:51:12 GMT Mei <mei@…> [91ecdfa]

	1) fixed the java's LD_LIBRARY_PATH
	2) move the inserting of ...


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

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