#
# ChangeLog for Papers/itp-2013/ccexec.tex
#
# Generated by Trac 1.2
# Dec 7, 2019, 3:25:16 PM

Wed, 06 Feb 2013 21:06:05 GMT sacerdot [2627]
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 20:32:13 GMT sacerdot [2626]
	* Papers/itp-2013/ccexec.bib (modified)
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 19:14:38 GMT sacerdot [2625]
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 17:11:49 GMT sacerdot [2622]
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 15:07:13 GMT sacerdot [2616]
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 14:51:53 GMT sacerdot [2615]
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 14:39:17 GMT sacerdot [2614]
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 14:30:17 GMT sacerdot [2613]
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 14:15:04 GMT sacerdot [2612]
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 13:21:23 GMT sacerdot [2611]
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 13:00:43 GMT sacerdot [2610]
	* Papers/itp-2013/bcprules.sty (added)
	* Papers/itp-2013/ccexec.bib (added)
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 12:56:01 GMT sacerdot [2609]
	* Papers/itp-2013/ccexec.tex (modified)
	* Papers/itp-2013/splncs03.bst (added)

	Bibliography in place.


Wed, 06 Feb 2013 11:15:02 GMT sacerdot [2607]
	* Papers/itp-2013/ccexec.tex (modified)

	authors fixed


Wed, 06 Feb 2013 11:13:00 GMT sacerdot [2606]
	* Papers/itp-2013/ccexec.tex (modified)

	conclusions


Wed, 06 Feb 2013 09:30:23 GMT sacerdot [2605]
	* Papers/itp-2013 (added)
	* Papers/itp-2013/ccexec.tex (added)
	* Papers/itp-2013/llncs.cls (added)

	A tentative submission to itp-2013.
	We will probably not submit the ...