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
54
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<HTML>
<!--Time-stamp: <2008-09-06 13:08:29 poser> -->
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8">
<META NAME="Author" CONTENT="Bill Poser">
<TITLE>Redet: a Tool for Developing and Executing Regular Expressions</TITLE>
</HEAD>
<BODY TEXT="#000000" BGCOLOR="#FFE2C0" VLINK="#0000EE" LINK="#AA0066" ALINK="#FF0000">
<center><H1>Redet: a Tool for Developing and Executing Regular Expressions</H1></center>
<center><H1>Version 8.25</H1></center>
<br>
<br>
<ul>
<li><a href="intro.html">Introduction</a></li>
<li><a href="layout.html">Layout</a></li>
<li><a href="choice.html">Choice of Programs</a></li>
<li><a href="regexps.html">Regular Expressions</a></li>
<li><a href="testdata.html">Test Data</a></li>
<li><a href="results.html">Results</a></li>
<li><a href="comparisondata.html">Comparison Data</a></li>
<li><a href="historylist.html">The History List</a></li>
<li><a href="palette.html">The Palette</a></li>
<li><a href="builtincharclass.html">Builtin Character Classes</a></li>
<li><a href="usercharclass.html">User-Defined Character Classes</a></li>
<li><a href="substitution.html">Substitution Mode</a></li>
<li><a href="misctools.html">Miscellaneous Tools</a></li>
<li><a href="shortcuts.html">Keyboard Shortcuts</a></li>
<li><a href="charset.html">Character Set</a></li>
<li><a href="help.html">Help</a></li>
<li><a href="info.html">Information</a></li>
<li><a href="comdesc.html">Command Descriptions</a></li>
<li><a href="commandline.html">Command Line Arguments</a></li>
<li><a href="available.html">Programs Available</a></li>
<li><a href="config.html">Configuration</a></li>
<li><a href="init.html">The Initialization File</a></li>
<li><a href="locale.html">Locale Selection</a></li>
<li><a href="fonts.html">Font Selection</a></li>
<li><a href="Limitations.html">Limitations</a></li>
<li><a href="speed.html">Speed</a></li>
<li><a href="limits.html">Limits</a></li>
<li><a href="platforms.html">Platforms</a></li>
<li><a href="localization.html">Localization</a></li>
<li><a href="license.html">License</a></li>
<li><a href="background.html">Background Image</a></li>
</ul>
</BODY>
</HTML>
|
