#
# ChangeLog for src/ASM/CPP2012-asm
#
# Generated by Trac 1.2
# Jan 23, 2021, 12:51:10 PM

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 ...