#
# ChangeLog for papers/FDL2012/framework.tex
#
# Generated by Trac 1.2.3
# Jul 6, 2024, 2:34:17 PM

Fri, 09 Mar 2012 14:31:35 GMT cecile [57]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/framework.tex (modified)
	* papers/FDL2012/myBib.bib (modified)

	biblio et utf8


Thu, 08 Mar 2012 13:00:31 GMT cecile [56]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/framework.tex (modified)

	add defintions concrete, and modify refinement, cex defintion


Wed, 07 Mar 2012 16:10:31 GMT cecile [52]
	* papers/FDL2012/FDL2012.aux (modified)
	* papers/FDL2012/FDL2012.log (modified)
	* papers/FDL2012/FDL2012.out (modified)
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/abstraction_refinement.tex (added)
	* papers/FDL2012/framework.tex (added)
	* papers/FDL2012/introduction.tex (added)

	Decomposition de papier en fichier


