#
# ChangeLog for papers/FDL2012/ordering_filter_properties.tex
#
# Generated by Trac 1.2.3
# Sep 17, 2024, 3:50:36 AM

Thu, 15 Mar 2012 13:27:06 GMT cecile [69]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/myBib.bib (modified)
	* papers/FDL2012/ordering_filter_properties.tex (modified)

	partie raffinement avec liste des propriétés mis à jour


Thu, 15 Mar 2012 12:43:45 GMT ema [68]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/framework.tex (modified)
	* papers/FDL2012/ordering_filter_properties.tex (modified)




Wed, 14 Mar 2012 15:27:45 GMT cecile [67]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/ordering_filter_properties.tex (modified)

	Refinement text filter added


Wed, 14 Mar 2012 14:40:47 GMT cecile [65]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/ordering_filter_properties.tex (added)

	algo weight up to date