#
# ChangeLog for doc/role_names
#
# Generated by Trac 1.2
# Oct 6, 2024 8:59:43 AM

Fri, 02 Mar 2012 02:04:41 GMT Mei <mei@…> [9806e76]

	1) add handling for typed anonymous term, [int:?]
	2) make a pass ...


Mon, 27 Jun 2011 23:19:39 GMT Mike Ryan <mikeryan@…> [bcd57e0]

	specification of role names