Update conclusions.
[matthijs/master-project/report.git] / Outline
2009-12-03 Matthijs KooijmanAdd initial sketch for conclusions.
2009-12-02 Matthijs KooijmanAdd TODO.
2009-12-02 Matthijs KooijmanMove some more stuff around in the Normalization chapter.
2009-12-01 Matthijs KooijmanRestructure and expand parts of the normalization chapter.
2009-11-30 Matthijs KooijmanRestructure some of the normalization chapter.
2009-11-30 Matthijs KooijmanFinalize the proofs section.
2009-11-27 Matthijs KooijmanReview more chapters.
2009-11-24 Matthijs KooijmanReview the first few chapters.
2009-11-12 Matthijs KooijmanAdd / update TODOs.
2009-11-11 Matthijs KooijmanUpdate outline.
2009-11-11 Matthijs KooijmanUpdate outline.
2009-11-02 Matthijs KooijmanUpdate outline.
2009-10-06 Matthijs KooijmanAdd note to the outline.
2009-09-30 Matthijs KooijmanUpdate outline.
2009-09-28 Matthijs KooijmanAdd "New language" to the outline.
2009-09-24 Matthijs KooijmanUpdate outline.
2009-09-09 Matthijs KooijmanAdd a brainstorm for an outline.