1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Fri Sep 14 12:23:48 2012 +0200
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Thu Sep 20 10:07:02 2012 +0200
     1.3 @@ -127,7 +127,7 @@
     1.4  solving. Theorem-Proving (TP) technology is appropriate for one part
     1.5  of such support, in checking user-input. For the other part of such
     1.6  support, guiding the learner towards a solution, another kind of
     1.7 -technology is required. %TODO ... connect to prototype ...
     1.8 +technology is required.
     1.9  
    1.10  Both kinds of support can be achieved by so-called
    1.11  Lucas-Interpretation which combines deduction and computation and, for