#
# ChangeLog for Papers/cpp-asm-2012/llncs.cls
#
# Generated by Trac 1.2
# Mar 6, 2021, 10:05:12 AM

Tue, 11 Sep 2012 15:10:46 GMT mulligan [2329]
	* Papers (added)
	* Papers/cpp-2011 (copied)
	* Papers/cpp-asm-2012 (copied)
	* Papers/cpp-asm-2012/cpp-2012-asm.tex (copied)
	* Papers/cpp-policy-2012 (copied)
	* Papers/itp-2011 (copied)

	Added new directory for papers so as to stop them from being spread ...


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