From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 7 Dec 2009 10:04:42 +0000 (+0100)
Subject: Remove TODO (links were made non-bold a few commits back).
X-Git-Tag: final-thesis~65
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=987d6ea297cea570ae9690ab06537808f159b538;ds=sidebyside

Remove TODO (links were made non-bold a few commits back).
---

diff --git a/Outline b/Outline
index ebe444b..c9f6638 100644
--- a/Outline
+++ b/Outline
@@ -55,7 +55,6 @@ TODO: Variable vs binder
 TODO: simplification -> Normalisation?
 TODO: Use saturated (application) instead of complete (application)?
 TODO: core => Core
-TODO: Make interaction links not bold
 TODO: Say something about implementation differences with transformation specs
 TODO: Say something about the builtin functions somewhere (ref: christiaan)
 TODO: Future work: Use Cλash