Say something about not using simplified core.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 09:50:59 +0000 (10:50 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 09:50:59 +0000 (10:50 +0100)
commit60adea85c728b5c5cf7394a7fb244cf6624b4dbd
treee34aa342b29bbc077ca66167bc07fce209b96ac9
parent781e18d74e018edbe47c011ab6741456138682ab
Say something about not using simplified core.
Chapters/Prototype.tex
Report.tex