From 987d6ea297cea570ae9690ab06537808f159b538 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 7 Dec 2009 11:04:42 +0100
Subject: [PATCH] Remove TODO (links were made non-bold a few commits back).

---
 Outline | 1 -
 1 file changed, 1 deletion(-)

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
-- 
2.30.2