# # ChangeLog for doc/java_install # # Generated by Trac 1.2 # Nov 25, 2024 3:35:19 AM Mon, 19 Nov 2012 23:36:11 GMT Mei [ced90bc] 1) add a single threaded java test prover script Tue, 13 Nov 2012 06:34:56 GMT Mei [e3c7769] 1) wrap up java interface with swig/jni/abac linkup 2) java ... Wed, 30 Mar 2011 21:34:09 GMT Mike Ryan [c0bdce8] java build instructions