#
# ChangeLog for papers/FDL2012/myBib.bib
#
# Generated by Trac 1.2.3
# Jul 6, 2024, 2:14:48 PM

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