#
# ChangeLog for LTS/Lang_corr.ma
#
# Generated by Trac 1.2
# Dec 9, 2019, 5:44:15 PM

Thu, 02 Apr 2015 13:44:19 GMT piccolo [3549]
	* LTS/Final.ma (modified)
	* LTS/Lang_corr.ma (added)
	* LTS/Lang_meas.ma (modified)
	* LTS/Language.ma (modified)
	* LTS/Simulation.ma (modified)
	* LTS/Traces.ma (modified)
	* LTS/Vm.ma (modified)
	* LTS/costs.ma (modified)

	added paolo's trick