#
# ChangeLog for papers
#
# Generated by Trac 1.2.3
# Jul 1, 2024, 11:07:36 PM

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