#
# ChangeLog for vis_dev/vis-2.3/models/transition/cex.v
#
# Generated by Trac 1.2.3
# Jul 11, 2024, 7:52:39 PM

Wed, 18 Jul 2012 14:46:43 GMT cecile [100]
	* vis_dev/vis-2.3/models/transition/cex.ctl (modified)
	* vis_dev/vis-2.3/models/transition/cex.v (modified)
	* vis_dev/vis-2.3/src/debug/debug.c (modified)
	* vis_dev/vis-2.3/src/mc/mcCmd.c (modified)

	exemple transition with cex


Sun, 15 Jul 2012 12:16:13 GMT cecile [99]
	* vis_dev/vis-2.3/models/transition/cex.ctl (added)
	* vis_dev/vis-2.3/models/transition/cex.v (added)
	* vis_dev/vis-2.3/models/transition/compostion.v (added)
	* vis_dev/vis-2.3/models/transition/modele.v (added)
	* vis_dev/vis-2.3/models/transition/script (modified)

	test for cex