#
# ChangeLog for src/ASM/CPP2011
#
# Generated by Trac 1.2
# Apr 19, 2021, 10:03:11 PM

Mon, 20 Jun 2011 13:43:09 GMT mulligan [997]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	minor linguistic polishing


Mon, 20 Jun 2011 13:41:11 GMT sacerdot [996]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	Minor fixes.


Mon, 20 Jun 2011 13:27:54 GMT mulligan [995]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	changes


Fri, 17 Jun 2011 16:05:05 GMT mulligan [992]
	* src/ASM/AssemblyProof.ma (modified)
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	a few more axioms closed


Thu, 16 Jun 2011 15:23:40 GMT mulligan [986]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	changes to paper


Thu, 16 Jun 2011 14:16:41 GMT mulligan [984]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	updates


Thu, 16 Jun 2011 14:00:54 GMT mulligan [983]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	more work added


Thu, 16 Jun 2011 12:39:23 GMT mulligan [981]
	* src/ASM/CPP2011/cpp-2011.bib (modified)
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	added more, worked on conclusions and related work.  need just to ...


Thu, 16 Jun 2011 10:02:07 GMT mulligan [976]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	more changes, rearranged paper to put lemmas/defns in correct order, ...


Thu, 16 Jun 2011 09:24:27 GMT mulligan [974]
	* src/ASM/CPP2011/cpp-2011.tex (modified)
	* src/ASM/CPP2011/lst-grafite.tex (modified)

	more added


Thu, 16 Jun 2011 08:05:46 GMT mulligan [973]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	work from yesterday that could not be committed


Wed, 15 Jun 2011 15:59:18 GMT mulligan [970]
	* src/ASM/CPP2011/cpp-2011.bib (modified)
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	commit as i need some money for the communists


Wed, 15 Jun 2011 15:27:48 GMT mulligan [969]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	more work on paper, nearly finished policy discussion


Wed, 15 Jun 2011 14:32:57 GMT mulligan [968]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	work on paper


Wed, 15 Jun 2011 13:39:44 GMT mulligan [960]
	* src/ASM/CPP2011/cpp-2011.bib (modified)
	* src/ASM/CPP2011/cpp-2011.tex (modified)
	* src/ASM/CPP2011/lst-grafite.tex (modified)

	more work on paper


Wed, 15 Jun 2011 11:33:08 GMT sacerdot [958]
	* src/ASM/CPP2011/lst-grafite.tex (added)

	...


Wed, 15 Jun 2011 11:30:54 GMT sacerdot [957]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	...


Wed, 15 Jun 2011 10:54:40 GMT mulligan [956]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	changes prior to claudio's editing


Wed, 15 Jun 2011 10:00:31 GMT mulligan [955]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	more work on conclusions


Wed, 15 Jun 2011 09:30:50 GMT mulligan [954]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	more changes to introduction


Wed, 15 Jun 2011 08:53:50 GMT mulligan [953]
	* src/ASM/CPP2011/cpp-2011.bib (modified)
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	more changes, including additions to the bibliography, and tightening ...


Wed, 15 Jun 2011 08:15:00 GMT mulligan [952]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	work from yesterday


Mon, 13 Jun 2011 12:14:11 GMT sacerdot [947]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	...


Thu, 09 Jun 2011 15:06:35 GMT mulligan [927]
	* src/ASM/CPP2011/cpp-2011.bib (added)
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	changes


Thu, 09 Jun 2011 11:13:04 GMT mulligan [918]
	* src/ASM/CPP2011/cpp-2011.tex (modified)

	headers added, etc.


Thu, 09 Jun 2011 11:10:14 GMT mulligan [917]
	* src/ASM/CPP2011 (added)
	* src/ASM/CPP2011/cpp-2011.tex (added)
	* src/ASM/CPP2011/llncs.cls (added)
	* src/ASM/CPP2011/llncs.ind (added)
	* src/ASM/CPP2011/llncsdoc.sty (added)
	* src/ASM/CPP2011/splncs03.bst (added)
	* src/ASM/CPP2011/sprmindx.sty (added)
	* src/ASM/CPP2011/subjidx.ind (added)

	outline of cpp paper committed