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

Thu, 30 May 2013 15:28:20 GMT tranquil [3306]
	* Papers/itp-2013/ccexec.tex (modified)

	altre modifiche e qualche taglio (i risultati per tll e tal)


Wed, 29 May 2013 16:25:11 GMT tranquil [3305]
	* Papers/itp-2013/ccexec.tex (modified)

	messo qualche figura, e molte notazioni


Tue, 30 Apr 2013 09:45:00 GMT tranquil [3222]
	* Deliverables/D4.4/mauro.tex (modified)
	* Deliverables/D4.4/paolo.tex (modified)
	* Deliverables/D4.4/report.tex (modified)
	* Papers/cpp-asm-2012/cpp-2012-asm.tex (modified)
	* Papers/itp-2013/ccexec.tex (modified)

	added pages to included papers. final version.


Mon, 29 Apr 2013 16:14:15 GMT tranquil [3213]
	* Deliverables/D4.4/mauro.tex (modified)
	* Deliverables/D4.4/paolo.tex (modified)
	* Deliverables/D4.4/report.bib (added)
	* Deliverables/D4.4/report.tex (modified)
	* Papers/itp-2013/ccexec.tex (modified)

	summary for D4.4, and other modifications


Wed, 06 Feb 2013 22:51:35 GMT sacerdot [2637]
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 22:28:32 GMT sacerdot [2635]
	* Papers/itp-2013/ccexec.bib (modified)
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 22:23:28 GMT sacerdot [2634]
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 22:16:24 GMT sacerdot [2633]
	* Papers/itp-2013/ccexec.tex (modified)

	...


Wed, 06 Feb 2013 22:11:29 GMT sacerdot [2632]
	* Papers/itp-2013/ccexec.tex (modified)

	...


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

	...


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

	...


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

	...


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

	...


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 ...