<LI><A HREF="http://localhost:6711/man?=jove&=1">jove (1)</A>- an interactive display-oriented text editor<br>(WRZLISIN <A HREF="WRZLLANGPACDIR/paket_jove.html">jove</A>)
<LI><A HREF="http://localhost:6711/man?=teachjove&=1">teachjove (1)</A>- learn how to use the JOVE editor<br>(WRZLISIN <A HREF="WRZLLANGPACDIR/paket_jove.html">jove</A>)
