#
# ChangeLog for src/joint/Joint.ma
#
# Generated by Trac 1.2
# Mar 1, 2021, 8:25:09 AM

Mon, 05 Sep 2011 11:23:20 GMT mulligan [1182]
	* src/joint/Joint.ma (modified)
	* src/joint/semantics.ma (modified)

	changes to semantics: removing parameterised "next" element in joint ...


Sat, 03 Sep 2011 02:17:48 GMT sacerdot [1176]
	* src/joint/Joint.ma (modified)
	* src/joint/semantics.ma (modified)

	...


Fri, 02 Sep 2011 12:51:20 GMT mulligan [1171]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/joint/Joint.ma (modified)

	changes made on claudio's request: changed order of nesting in the ...


Fri, 02 Sep 2011 09:57:45 GMT sacerdot [1169]
	* src/joint/Joint.ma (modified)

	JointRTLtoLIN moved to Joint


Fri, 02 Sep 2011 08:35:54 GMT mulligan [1167]
	* src/LIN/LIN.ma (modified)
	* src/joint/Joint.ma (moved)

	...


Fri, 02 Sep 2011 08:35:24 GMT mulligan [1166]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/joint (added)
	* src/joint/JointLTLLIN.ma (moved)

	moved joint ltl lin files into their own directory.  more changes to ...