#
# ChangeLog for src/Parser/parser.yy
#
# Generated by Trac 1.2.1
# Jun 15, 2024, 11:45:52 AM

Mon, 20 Nov 2017 16:44:20 GMT Peter A. Buhr <pabuhr@…> [c38ae92]
	* src/Parser/DeclarationNode.cc (modified)
	* src/Parser/parser.yy (modified)

	fix addQualifiers bug for multiple forall qualifiers, rebind forall ...


Fri, 17 Nov 2017 19:41:46 GMT Peter A. Buhr <pabuhr@…> [65d6de4]
	* src/Parser/parser.yy (modified)

	add TYPEGENname to typegen_name, and fix shift/reduce in favour of
	shift


Thu, 02 Nov 2017 21:26:17 GMT Rob Schluntz <rschlunt@…> [f9941ff]
	* src/Parser/parser.yy (modified)

	Add error message for unimplemented qualified names [fixes #54]