#
# ChangeLog for src/ASM/CPP2012-asm/lst-grafite.tex
#
# Generated by Trac 1.2
# Mar 9, 2021, 12:12:50 PM

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