Partially update state annotations section in the prototype chapter.
authorMatthijs Kooijman <matthijs@stdin.nl>
Fri, 4 Dec 2009 19:05:42 +0000 (20:05 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Fri, 4 Dec 2009 19:06:09 +0000 (20:06 +0100)
commit91b4bb893a7915a0701fcaafcd160cdf0460a1b6
tree6e1a9ad14fb73424cb5637ba69b8fc96b5428d23
parent16503ed812eef1ab2d30cba5596bd38d1b670c81
Partially update state annotations section in the prototype chapter.

This is an unfinished commit, to store intermediate progress.
Chapters/Normalization.tex
Chapters/Prototype.tex