#
# ChangeLog for Papers/structured-traces-2012
#
# Generated by Trac 1.2
# Mar 4, 2021, 9:05:56 PM

Tue, 20 Nov 2012 17:39:20 GMT mulligan [2480]
	* Papers/structured-traces-2012/structured-traces.tex (modified)

	Some more changes.


Tue, 20 Nov 2012 16:12:30 GMT mulligan [2479]
	* Papers/structured-traces-2012/structured-traces.tex (modified)

	A small amount of rewriting as i didn't like the original ...


Tue, 13 Nov 2012 18:06:27 GMT campbell [2461]
	* Papers/structured-traces-2012/traces.svg (added)

	First cut of inductive structured traces diagrams.


Mon, 12 Nov 2012 15:39:57 GMT campbell [2455]
	* Papers/structured-traces-2012/structured-traces.tex (modified)

	Dump rough notes on RTLabs structured traces existence proof.


Sat, 10 Nov 2012 16:31:22 GMT mulligan [2451]
	* Papers/structured-traces-2012/structured-traces.tex (modified)

	Structured traces paper for Brian as per e-mail conversation
	yesterday.


Tue, 11 Sep 2012 15:40:31 GMT mulligan [2331]
	* Papers/structured-traces-2012/structured-traces.tex (modified)

	Added some structure to the paper


Tue, 11 Sep 2012 15:11:41 GMT mulligan [2330]
	* Papers/structured-traces-2012 (added)
	* Papers/structured-traces-2012/structured-traces.bib (added)
	* Papers/structured-traces-2012/structured-traces.tex (added)

	Added directory for new structured traces paper.