adnote

tex/usecase.tex

@@ -21,4 +21,5 @@ Right-clicking anywhere within the theory allows Jane to select \cn{MMT} $\to$ \
 \begin{figure}[ht]\centering
   \fbox{\includegraphics[width=\textwidth]{pvs}}
 \caption{Searching for Commutative Operators in PVS}\label{fig:use:pvs}
-\end{figure}
\ No newline at end of file
+\end{figure}
+\ednote{8 results for NASA, but NASA doesn't work in jEdit because of limited memory}
\ No newline at end of file