#
# ChangeLog for src/TODO
#
# Generated by Trac 1.2
# Jan 23, 2021, 12:42:30 PM

Sun, 23 Oct 2011 20:15:51 GMT sacerdot [1457]
	* src/TODO (modified)
	* src/joint/semantics.ma (modified)

	Bug fixed: when calling an internal function, the pc block is now set ...


Sat, 22 Oct 2011 02:26:31 GMT sacerdot [1453]
	* src/TODO (modified)

	...


Sat, 22 Oct 2011 02:18:11 GMT sacerdot [1451]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/TODO (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/semantics.ma (modified)
	* src/utilities/lists.ma (modified)

	1. All axioms in LIN/semantics.ma closed
	2. succ_pc and ...


Thu, 20 Oct 2011 13:57:05 GMT sacerdot [1431]
	* src/TODO (added)

	Back-end todo (in Italian only, sorry...)