#
# ChangeLog for src/LTL/LTLToLIN_paolo.ma
#
# Generated by Trac 1.2
# Apr 21, 2021, 12:37:15 PM

Fri, 13 Jul 2012 09:20:36 GMT tranquil [2182]
	* src/ERTL/liveness_paolo.ma (modified)
	* src/LIN/LIN_paolo.ma (added)
	* src/LTL/LTLToLIN_paolo.ma (added)
	* src/common/Identifiers.ma (modified)
	* src/joint/Joint_paolo.ma (modified)
	* src/joint/TranslateUtils_paolo.ma (modified)
	* src/joint/linearise.ma (added)

	updated linearisation pass