#
# ChangeLog for examples/example_scripts/allout.save
#
# Generated by Trac 1.2
# Jun 25, 2024 12:00:11 AM

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

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


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

	1) add partial proof


Tue, 07 Aug 2012 17:45:16 GMT Mei <mei@…> [bea18ef]

	1) add more tiny prover tests in examples/example_scripts
	2) ...


Sat, 04 Aug 2012 03:52:40 GMT Mei <mei@…> [ba6027a]

	1) modified code all around to add support for encrypted private key ...