1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Wed Oct 31 14:07:00 2012 +0100
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Wed Oct 31 14:08:40 2012 +0100
     1.3 @@ -328,7 +328,7 @@
     1.4  
     1.5  
     1.6  \section{\isac's Prototype for a Programming Language}\label{PL} 
     1.7 -The prototype of the language and of the Lucas-Interpreter are briefly
     1.8 +The prototype of the language and of the Lucas-Interpreter is briefly
     1.9  described from the point of view of a programmer. The language extends
    1.10  the executable fragment in the language of the theorem prover
    1.11  Isabelle~\cite{Nipkow-Paulson-Wenzel:2002}\footnote{http://isabelle.in.tum.de/}.