#
# ChangeLog for papers
#
# Generated by Trac 1.2.3
# Jul 1, 2024, 11:06:02 PM

Tue, 13 Mar 2012 15:53:14 GMT ema [63]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/abstraction_refinement.tex (modified)




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

	charachter encoding


Tue, 13 Mar 2012 10:56:46 GMT cecile [61]
	* papers/FDL2012/FDL2012.tex (modified)
	* papers/FDL2012/framework.tex (modified)

	typos


Tue, 13 Mar 2012 10:47:22 GMT cecile [60]
	* papers/FDL2012/schema/Dependency_graph_weight_PNG.png (moved)
	* papers/FDL2012/schema/K_sigma_i_S_PNG.png (moved)
	* papers/FDL2012/schema/our_CEGAR_Loop_Enhanced_2S_PNG.png (moved)

	new folder organization


Tue, 13 Mar 2012 10:46:41 GMT cecile [59]
	* papers/FDL2012/schema (added)

	new folder schema


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


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:15:11 GMT cecile [55]
	* papers/FDL2012/FDL2012.out (deleted)

	menage


Wed, 07 Mar 2012 16:13:44 GMT cecile [54]
	* papers/FDL2012/FDL2012.tex (added)

	un peu trop fait le ménage


Wed, 07 Mar 2012 16:13:05 GMT cecile [53]
	* papers/FDL2012/FDL2012.aux (deleted)
	* papers/FDL2012/FDL2012.log (deleted)
	* papers/FDL2012/FDL2012.tex (deleted)

	not useful files


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


Tue, 06 Mar 2012 15:58:19 GMT ema [50]
	* papers/FDL2012/FDL2012.tex (modified)




Mon, 05 Mar 2012 16:32:03 GMT cecile [49]
	* papers/FDL2012/FDL2012.log (modified)
	* papers/FDL2012/Ubbold.fd (added)
	* papers/FDL2012/bbold.sty (added)
	* papers/FDL2012/bbold10.pfb (added)

	add math font


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


Mon, 05 Mar 2012 16:10:22 GMT syed [47]
	* papers (added)

	/papers