#
# ChangeLog for src/joint/Joint.ma
#
# Generated by Trac 1.2
# Mar 3, 2021, 8:23:44 PM

Wed, 21 Sep 2011 13:56:54 GMT sacerdot [1236]
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/joint/Joint.ma (modified)

	LTLToLin.ma completed (up to a couple of daemons used to provide dead ...


Wed, 21 Sep 2011 09:57:20 GMT sacerdot [1233]
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/common/SmallstepExec.ma (modified)
	* src/joint/Joint.ma (modified)
	* src/joint/semantics.ma (modified)

	1) Ported to Brian's new dependent type for fullexec
	2) Universe ...


Mon, 19 Sep 2011 14:52:40 GMT mulligan [1228]
	* src/ERTL/build.ma (modified)
	* src/joint/Joint.ma (modified)

	some more changes


Thu, 15 Sep 2011 16:05:31 GMT sacerdot [1220]
	* src/ERTL/ERTL.ma (modified)
	* src/joint/Joint.ma (modified)
	* src/joint/semantics.ma (modified)

	ERTL ported to the new joint syntax.


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 ...