#
# ChangeLog for src/utilities/deqsets.ma
#
# Generated by Trac 1.2
# Mar 6, 2021, 10:44:19 AM

Thu, 08 Nov 2012 13:27:54 GMT tranquil [2443]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/common/ByteValues.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/Traces.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/joint/lineariseProof.ma (modified)
	* src/joint/semantics.ma (modified)
	* src/utilities/deqsets.ma (modified)
	* src/utilities/lists.ma (modified)

	changed joint's stack pointer and internal stack


Mon, 13 Aug 2012 12:18:31 GMT campbell [2296]
	* src/RTLabs/Traces.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/common/Pointers.ma (modified)
	* src/utilities/deqsets.ma (added)

	Tidy up some ill-placed definitions.