#
# ChangeLog for src/ASM/CPP2012-asm
#
# Generated by Trac 1.2
# Jan 18, 2021, 5:47:42 PM

Wed, 13 Jun 2012 17:54:36 GMT sacerdot [2068]
	* src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified)

	...


Wed, 13 Jun 2012 17:50:53 GMT sacerdot [2067]
	* src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified)

	...


Wed, 13 Jun 2012 16:46:06 GMT mulligan [2066]
	* src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified)

	Finished for the day.


Wed, 13 Jun 2012 15:05:30 GMT mulligan [2063]
	* src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified)

	Minor fixes


Wed, 13 Jun 2012 14:59:45 GMT mulligan [2061]
	* src/ASM/CPP2012-asm/cpp-2012-asm.bib (modified)
	* src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified)

	Added Randall Holmes' Usenet post on branch displacement optimisation ...


Wed, 13 Jun 2012 14:26:50 GMT mulligan [2060]
	* src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified)

	More work on paper.


Wed, 13 Jun 2012 13:17:24 GMT mulligan [2058]
	* src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified)

	First draft of changes to main sections (i.e. those describing the ...


Wed, 13 Jun 2012 09:02:37 GMT mulligan [2053]
	* src/ASM/CPP2012-asm/cpp-2012-asm.tex (modified)

	Introduction changed, with many paragraphs deleted.


Wed, 13 Jun 2012 08:04:04 GMT mulligan [2052]
	* src/ASM/CPP2012-asm (added)
	* src/ASM/CPP2012-asm/cpp-2012-asm.bib (added)
	* src/ASM/CPP2012-asm/cpp-2012-asm.tex (added)
	* src/ASM/CPP2012-asm/llncs.cls (added)
	* src/ASM/CPP2012-asm/llncs.ind (added)
	* src/ASM/CPP2012-asm/llncsdoc.sty (added)
	* src/ASM/CPP2012-asm/lst-grafite.tex (added)
	* src/ASM/CPP2012-asm/splncs03.bst (added)
	* src/ASM/CPP2012-asm/sprmindx.sty (added)
	* src/ASM/CPP2012-asm/subjidx.ind (added)

	Initial commit of proposed CPP 2012 paper on the proof of correctness ...