#
# ChangeLog for papers/FDL2012/myBib.bib
#
# Generated by Trac 1.2.3
# Jul 6, 2024, 1:07:44 PM

Fri, 06 Apr 2012 20:37:41 GMT syed [92]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/exp_results.tex (modified)
	* papers/FDL2012/framework.tex (modified)
	* papers/FDL2012/introduction.tex (modified)
	* papers/FDL2012/myBib.bib (modified)
	* papers/FDL2012/ordering_filter_properties.tex (modified)
	* papers/FDL2012/schema/our_framework_cegar_png.png (modified)

	/papers/FDL2012/


Thu, 05 Apr 2012 11:59:16 GMT syed [83]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/exp_results.tex (modified)
	* papers/FDL2012/introduction.tex (modified)
	* papers/FDL2012/myBib.bib (modified)

	/papers/FDL2012/


Wed, 28 Mar 2012 13:21:52 GMT ema [76]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/framework.tex (modified)
	* papers/FDL2012/myBib.bib (modified)




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


Wed, 14 Mar 2012 12:43:13 GMT syed [64]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/exp_results.tex (added)
	* papers/FDL2012/myBib.bib (modified)

	/papers/FDL2012/


Tue, 13 Mar 2012 15:38:31 GMT cecile [62]
	* papers/FDL2012/myBib.bib (modified)

	charachter encoding


Fri, 09 Mar 2012 16:16:33 GMT cecile [58]
	* papers/FDL2012/abstraction_refinement.tex (modified)
	* papers/FDL2012/framework.tex (modified)
	* papers/FDL2012/myBib.bib (modified)

	reordoring of the firsts definitions


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


Mon, 05 Mar 2012 16:13:20 GMT syed [48]
	* papers/FDL2012 (added)
	* papers/FDL2012/Dependency_graph_weight_PNG.png (added)
	* papers/FDL2012/FDL2012.aux (added)
	* papers/FDL2012/FDL2012.log (added)
	* papers/FDL2012/FDL2012.out (added)
	* papers/FDL2012/FDL2012.tex (added)
	* papers/FDL2012/IEEEbib.bst (added)
	* papers/FDL2012/K_sigma_i_S_PNG.png (added)
	* papers/FDL2012/myBib.bib (added)
	* papers/FDL2012/our_CEGAR_Loop_Enhanced_2S_PNG.png (added)
	* papers/FDL2012/refs.bib (added)
	* papers/FDL2012/spconf.sty (added)
	* papers/FDL2012/strings.bib (added)

	/papers/FDL2012