# HG changeset patch
# User Sigurd Meldgaard <stm@daimi.au.dk>
# Date 1271068902 -7200
# Node ID be824362c376a43ccc8baf3c8462df40c2773dc3
# Parent  3a3fff5f2120a1917c1afac0160aed645066a134
Removed outdated TODO

diff -r 3a3fff5f2120 -r be824362c376 provsec/paper.tex
--- a/provsec/paper.tex	Mon Apr 12 12:41:15 2010 +0200
+++ b/provsec/paper.tex	Mon Apr 12 12:41:42 2010 +0200
@@ -107,7 +107,6 @@
 
 
 \section{Usage scenario}
-%TODO: rewrite for eclipse interaction.
 The programmer will first write his program in PySMCL using the
 Eclipse plugin, specifying a desired computation as described above.
 PySMCL is designed to offer high level constructs specialized for the