#
# ChangeLog for Deliverables/D6.2
#
# Generated by Trac 1.2
# Feb 25, 2021, 8:23:35 PM

Fri, 08 Jun 2012 13:52:23 GMT Ian Stark [2031]
	* Deliverables/D6.2/supplement.tex (modified)

	Mention FMICS 2012 paper


Thu, 07 Jun 2012 16:30:13 GMT Ian Stark [2029]
	* Deliverables/D6.2/supplement.tex (modified)

	Mild revision of invitee list; commitment to HiPEAC


Fri, 01 Jun 2012 22:11:01 GMT Ian Stark [2013]
	* Deliverables/D6.2/supplement.tex (modified)

	Put in HiPEAC 2013


Fri, 01 Jun 2012 21:49:46 GMT Ian Stark [2012]
	* Deliverables/D6.2/supplement.tex (modified)

	Added proposed papers to D6.2


Wed, 30 May 2012 16:55:46 GMT Ian Stark [2007]
	* Deliverables/D6.2/supplement.tex (modified)

	Potential workshop invitees


Sat, 26 May 2012 14:15:14 GMT Ian Stark [2002]
	* Deliverables/D6.2/supplement.tex (added)

	Supplement to D6.2


Thu, 24 May 2012 14:26:25 GMT mckinna [1992]
	* Deliverables/D6.2/publist-notes.txt (modified)

	Ayache?


Thu, 24 May 2012 14:24:32 GMT mckinna [1990]
	* Deliverables/D6.2/publist-notes.txt (modified)

	the LUSTRE paper has not yet appeared
	what about the Ayache/Frama-C ...


Thu, 24 May 2012 14:16:56 GMT mckinna [1989]
	* Deliverables/D6.2/publist-notes.txt (added)

	Notes of 2012-05-24 of the UEdin/UniBo meeting to discuss publication ...


Thu, 12 May 2011 17:19:02 GMT Ian Stark [794]
	* Deliverables/D6.2/addendum.tex (modified)

	Some content for addendum


Wed, 11 May 2011 12:01:40 GMT Ian Stark [791]
	* Deliverables/D6.2/addendum.tex (added)

	Empty addendum


Thu, 09 Sep 2010 09:47:42 GMT mulligan [48]
	* Deliverables/D6.2/report.tex (modified)

	finished touching up report's English


Thu, 09 Sep 2010 09:04:15 GMT mulligan [47]
	* Deliverables/D6.2/report.tex (modified)

	Half of report's English fixed.


Fri, 20 Aug 2010 18:05:50 GMT sacerdot [23]
	* Deliverables/D6.2/report.tex (modified)

	Spell checked.


Fri, 20 Aug 2010 18:03:28 GMT sacerdot [22]
	* Deliverables/D6.2/report.tex (modified)

	Proposed final version.


Thu, 19 Aug 2010 19:35:09 GMT sacerdot [21]
	* Deliverables/D6.2 (added)
	* Deliverables/D6.2/report.tex (added)

	First draft.