#
# ChangeLog for Deliverables/D1.2
#
# Generated by Trac 1.2
# Jan 22, 2021, 5:21:41 AM

Thu, 23 Feb 2012 11:51:24 GMT mulligan [1725]
	* Deliverables/D1.2/CompilerProofOutline/outline.tex (modified)

	commit to avoid conflicts


Thu, 23 Feb 2012 11:51:04 GMT boender [1724]
	* Deliverables/D1.2/CompilerProofOutline/outline.tex (modified)

	- added diagrams to RTL to ERTL section


Thu, 23 Feb 2012 09:41:56 GMT mulligan [1723]
	* Deliverables/D1.2/CompilerProofOutline/outline.tex (modified)

	added more to header of file, commit to avoid conflicts with jaap


Wed, 22 Feb 2012 16:12:19 GMT mulligan [1722]
	* Deliverables/D1.2/Part3_project objectives achievements and progress.doc (modified)

	changes to english in third part of report


Wed, 22 Feb 2012 13:38:59 GMT mulligan [1721]
	* Deliverables/D1.2/CompilerProofOutline/outline.tex (modified)

	some changes to the report


Wed, 22 Feb 2012 13:37:16 GMT sacerdot [1720]
	* Deliverables/D1.2/Part3_project objectives achievements and progress.doc (modified)

	New draft.


Wed, 22 Feb 2012 12:54:08 GMT mulligan [1718]
	* Deliverables/D1.2/CompilerProofOutline/outline.tex (modified)
	* Deliverables/D1.2/CompilerProofOutline/skull.sty (added)

	added skull.sty for daemon (skull) symbol


Wed, 22 Feb 2012 10:28:49 GMT mulligan [1717]
	* Deliverables/D1.2/CompilerProofOutline/diagrams.sty (added)
	* Deliverables/D1.2/CompilerProofOutline/outline.tex (modified)

	added diagrams.sty for drawing commutative diagrams


Wed, 22 Feb 2012 10:00:15 GMT mulligan [1716]
	* Deliverables/D1.2/CompilerProofOutline (added)
	* Deliverables/D1.2/CompilerProofOutline/outline.tex (added)

	proof outline, as requested by referees, being typed up in latex


Wed, 22 Feb 2012 09:10:45 GMT sacerdot [1715]
	* Deliverables/D1.2/Part3_project objectives achievements and progress.doc (modified)

	Some progress.


Tue, 21 Feb 2012 15:22:36 GMT sacerdot [1714]
	* Deliverables/D1.2 (added)
	* Deliverables/D1.2/.~lock.Part1_declaration by the scientific representative.doc# (added)
	* Deliverables/D1.2/.~lock.TravelsBo.xlsx# (added)
	* Deliverables/D1.2/Part1_declaration by the scientific representative.doc (added)
	* Deliverables/D1.2/Part2_publishable Summary.doc (added)
	* Deliverables/D1.2/Part3_project objectives achievements and progress.doc (added)
	* Deliverables/D1.2/Part4_project management and use of resources.doc (added)
	* Deliverables/D1.2/RPR.txt (added)
	* Deliverables/D1.2/TravelsBo.xlsx (added)

	...