#
# ChangeLog for Deliverables/Dissemination/proof-structured-traces
#
# Generated by Trac 1.2
# May 31, 2020, 4:14:28 AM
Sat, 23 Mar 2013 07:43:46 GMT campbell [2945]
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex (modified)
Minor tweak.
Fri, 22 Mar 2013 20:46:18 GMT campbell [2941]
* Deliverables/Dissemination/proof-structured-traces/compiler-plain.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/compiler.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/compiler.svg (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex (modified)
Update proof slides.
Wed, 23 Jan 2013 15:34:21 GMT campbell [2589]
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex (modified)
* Deliverables/Dissemination/proof-structured-traces/strcall.pdf (added)
* Deliverables/Dissemination/proof-structured-traces/strcall.svg (added)
Add one of the simulation diagrams
Wed, 23 Jan 2013 12:51:04 GMT campbell [2587]
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex (modified)
Tweak talk a little.
Wed, 23 Jan 2013 11:26:41 GMT campbell [2585]
* Deliverables/Dissemination/proof-structured-traces/compiler-plain.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/compiler.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/compiler.svg (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex (modified)
Many improvements to proof/structured traces talk.
Mon, 21 Jan 2013 21:58:01 GMT campbell [2583]
* Deliverables/Dissemination/proof-structured-traces (added)
* Deliverables/Dissemination/proof-structured-traces/cerco_logo.png (added)
* Deliverables/Dissemination/proof-structured-traces/compiler-plain.pdf (added)
* Deliverables/Dissemination/proof-structured-traces/compiler.pdf (added)
* Deliverables/Dissemination/proof-structured-traces/compiler.svg (added)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.pdf (added)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex (added)
* Deliverables/Dissemination/proof-structured-traces/strtraces.pdf (added)
* Deliverables/Dissemination/proof-structured-traces/strtraces.svg (added)
* Deliverables/Dissemination/proof-structured-traces/traces.svg (added)
Structured traces talk with most of the content; not quite final.