#
# ChangeLog for libabac/abac_pl_pre.c
#
# Generated by Trac 1.2
# Jun 28, 2024 12:10:29 AM

Thu, 04 Apr 2013 07:07:42 GMT Mei <mei@…> [2e9455f]

	1) added namespace
	2) tweak ?This,
	3) allowing linking role/oset as ...


Tue, 18 Sep 2012 18:52:30 GMT Mei <mei@…> [abf8d5d]

	1) add backtrack/multiple solutions proof code changes and new
	 examples.


Thu, 16 Aug 2012 23:28:41 GMT Mei <mei@…> [b92a620]

	1) route debug printf to stderr
	2) add some check for swig in ...


Fri, 29 Jun 2012 09:32:17 GMT Mei <mei@…> [2efdff5]

	1) fix the missing check for 'This' rt2.y when called from ...


Tue, 01 May 2012 00:31:19 GMT Mei <mei@…> [440ba20]

	1) wrap up refactoring to move all the code gen to abac structure
	2) ...