#
# ChangeLog for doc/partial_proof
#
# Generated by Trac 1.2
# Oct 5, 2024 5:17:52 PM

Tue, 20 Nov 2012 17:06:51 GMT Mei <mei@…> [63477c5]

	1) getting ready for a freeze


Tue, 20 Nov 2012 07:36:40 GMT Mei <mei@…> [4a72b30]

	1) add more doc for java


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

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


Sat, 20 Oct 2012 18:25:15 GMT Mei <mei@…> [646e57e]

	1) add partial proof