1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<HTML>
<HEAD>
<TITLE>JERED User's Guide</TITLE>
</HEAD>
<BODY>
<A HREF="jered-1.html"><IMG SRC="next.gif" ALT="Page suivante"></A>
<IMG SRC="prev.gif" ALT="Page précédente">
<IMG SRC="toc.gif" ALT="Table des matières">
<HR>
<H1>JERED User's Guide</H1>
<H2>Jerome Alet, <CODE>alet@unice.fr</CODE></H2>v1.5, 8 Juin 1999
<P><HR>
<EM>This document is a user's guide to the JERED text editor. It explains all
its possibilities and how to simply add new ones.</EM>
<HR>
<P>
<H2><A NAME="toc1">1.</A> <A HREF="jered-1.html">Remarks about this software</A></H2>
<P>
<H2><A NAME="toc2">2.</A> <A HREF="jered-2.html">Introduction</A></H2>
<UL>
<LI><A HREF="jered-2.html#ss2.1">2.1 Overview</A>
<LI><A HREF="jered-2.html#ss2.2">2.2 How to try JERED ?</A>
</UL>
<P>
<H2><A NAME="toc3">3.</A> <A HREF="jered-3.html">How to edit files with JERED ?</A></H2>
<UL>
<LI><A HREF="jered-3.html#ss3.1">3.1 The User Interface</A>
<LI><A HREF="jered-3.html#ss3.2">3.2 The Default Key Mappings</A>
<LI><A HREF="jered-3.html#ss3.3">3.3 Added Useful Key Mappings</A>
<LI><A HREF="jered-3.html#ss3.4">3.4 Internal Commands</A>
</UL>
<P>
<H2><A NAME="toc4">4.</A> <A HREF="jered-4.html">How to configure JERED to suit your needs ?</A></H2>
<UL>
<LI><A HREF="jered-4.html#ss4.1">4.1 Configuring the User Interface of JERED</A>
<LI><A HREF="jered-4.html#ss4.2">4.2 Configuring the General Behaviour of JERED</A>
<LI><A HREF="jered-4.html#ss4.3">4.3 Remapping Keys</A>
</UL>
<P>
<H2><A NAME="toc5">5.</A> <A HREF="jered-5.html">Things TO DO</A></H2>
<HR>
<A HREF="jered-1.html"><IMG SRC="next.gif" ALT="Page suivante"></A>
<IMG SRC="prev.gif" ALT="Page précédente">
<IMG SRC="toc.gif" ALT="Table des matières">
</BODY>
</HTML>
|
